effectively Boolean IT

[sonnetic]

из документации по языку С
The operands of logical operators (&, | | and !) should be
effectively Boolean. Expressions that are effectively Boolean should not be used as operands to operators other than (&, | | and !).

Известно, что и операнды, и выражения могут быть "Булевыми".
Однако я нигде не встречала и никогда не слышала сочетания "действительное (эффективное?) Булево выражение/операнд/оператор".
Помогите, пожалуйста, "связать логически" effectively и Boolean.

[Juliza]

http://www.unix.org.ua/c/h13.htm

[Enote]

преобразуемые в логический/булев тип

[/* a.m. */]

В С нет логического типа, насколько я помню. Effectively boolean может означать "результат выполнения операции, выдающей логическое значение", т.е. сравнения <, > и т.д., либо логической операции &&, ||, !.

[sonnetic]

to /* a.m */
дело в том, что с момента появления и на протяжении всего текста (от MISRA) effectively Boolean употребляется в качестве устойчивого определения выражений, операторов и пр.
к слову, в книге "Язык программирования C" термин "Булев" встречается на каждом шагу :)
(Сэмюел П. Харбисон, Гай Л. Стил, http://www.ozon.ru/context/detail/id/1529399/)

Итак:
Требуется русский эквивалент для effectively Boolean - короткий и ёмкий... Может, стоит быть проще и перевести это как действительно Булев (операнд, etc)? в данном контексте...

заранее благодарю,
София

[Enote]

В С действительно нет логического типа, зарапортавался...
сабж - оцениваемое/вычисляемое как логическое/булевое значение
действительно Булев - не надо таких конструкций