| Subject | Russian | English |
| el. | аффинная булева функция | affine Boolean function |
| math. | базис булевой алгебры | basis of Boolean algebra |
| math. | булев вектор | Boolean vector |
| IT | булев вентиль | Boolean gate (реализующий булеву функцию) |
| math. | булев гомоморфизм | Boolean homomorphism |
| math. | булев граф | Boolean graph |
| progr. | булев дифференциал | Boolean differential (ssn) |
| el. | булев запрос | Boolean query |
| progr. | булев запрос | Boolean search (ssn) |
| math. | булев изоморфизм | Boolean isomorphism |
| tech. | булев матричный идентификатор | Boolean array identifier |
| comp. | булев метод | Boolean method |
| math. | булев многочлен | Boolean polynomial |
| comp. | булев многочлен | Boolean polynom |
| IT | булев множитель | Boolean factor |
| math. | булев морфизм | Boolean morphism |
| math. | булев нуль | Boolean zero |
| math. | булев образ | Boolean pattern |
| math. | булев одночлен | Boolean monomial |
| math. | булев операнд | Boolean operand |
| telecom. | булев оператор | boolean (oleg.vigodsky) |
| el. | булев оператор | logic operator |
| IT | булев оператор | cumulative operator (поиска: AND, OR, NOT Alex Lilo) |
| IT | булев оператор | Boolean operator |
| el. | булев оператор | binary operator |
| media. | булев оператор | Boolean operator (знак логической операции: «И», «ИЛИ», «НЕТ» и т.д.) |
| progr. | булев оператор равенства | boolean equal operator (ssn) |
| progr. | булев параметр | boolean parameter (ssn) |
| el. | булев поиск | Boolean query |
| progr. | булев поиск | Boolean search (ssn) |
| math. | булев полином | Boolean polinomial |
| el. | булев предикат | Boolean predicate |
| progr. | булев предикат | logic predicate (ssn) |
| SAP.tech. | булев процессор | Boolean processor |
| progr. | булев результат | boolean result (ssn) |
| math. | булев ретракт | Boolean retract |
| tech. | булев терм | logic term |
| IT | булев терм | logical term |
| tech. | булев терм | Boolean term |
| progr. | булев тип данных | boolean data type (ssn) |
| progr. | булев тип данных | boolean datatype (ssn) |
| progr. | булев флаг | boolean flag (ssn) |
| math. | булев четырёхугольник | Boolean quadrangle |
| IT | булев член | Boolean term |
| IT | булев член | logical term |
| tech. | булев член | logic term |
| math. | булев эквивалент | Boolean equivalent |
| media. | булева алгебра | Boolean logic (набор правил определения, упрощения и манипуляции логическими функциями, основанных на операторах, которые представляют собой истину или ложь) |
| media. | булева алгебра | digital logic (набор правил определения, упрощения и манипуляции логическими функциями, основанных на операторах, которые представляют собой истину или ложь) |
| math. | булева алгебра | Boolean field |
| math. | булева алгебра | Boolean algebra |
| Gruzovik, math. | булева алгебра | Boolean logic |
| el. | булева алгебра | algebra of logic |
| IT | булева алгебра | Boolean mathematics |
| math. | булева алгебра | logical algebra (ssn) |
| math. | булева алгебра | Boolean calculus |
| media. | булева алгебра | Boolean algebra (набор правил определения, упрощения и манипуляции логическими функциями, основанных на операторах, которые представляют собой истину или ложь) |
| math. | булева арифметика | Boolean arithmetic |
| media. | булева величина | Boolean value (значение, которое может принимать логическое выражение: «истинно» или «ложно») |
| math. | булева вычислительная машина | Boolean computer |
| math. | булева единица | Boolean unit |
| math. | булева запись | Boolean notation |
| progr. | булева константа | Boolean constant (ssn) |
| progr. | булева константа | boolean literal (ssn) |
| nano | булева логика | Boolean locomotion |
| tech. | булева логика | Boolean logic |
| IT | булева логическая переменная | Boolean variable |
| Makarov. | булева логическая функция | Boolean function |
| tech. | булева матрица | Boolean matrix |
| math. | булева метрика | Boolean metric |
| math. | булева модель | Boolean model |
| tech. | булева операция | logical operation |
| IT | булева операция | Boolean operator |
| tech. | булева операция | Boolean operation |
| comp. | булева операция | logic al operation |
| IT | булева операция логическая операция | Boolean operation |
| IT | булева переменная | Boolean |
| tech. | булева переменная | Boolean variable |
| robot. | булева переменная | logic value |
| media. | булева переменная | Boolean variable (переменная в программе, которая может принимать значения «1» или «0») |
| media. | булева переменная | data type (переменная в программе, которая может принимать значения «1» или «0») |
| IT | булева переменная | logical variable (ssn) |
| robot. | булева переменная | logical value |
| comp. | булева переменная | binary variable |
| progr. | булева переменная действия | action boolean (см. IEC 61131-3 ssn) |
| math. | булева подалгебра | Boolean subalgebra |
| math. | булева полуагебра | Boolean semialgebra |
| media. | булева производная | Boolean difference |
| math. | булева разность | Boolean difference |
| IT | булева решётка | Boolean lattice |
| IT | булева связка | Boolean connective |
| progr. | булева сеть | Boolean network (ssn) |
| progr. | булева сеть автоматов | boolean automata net (ssn) |
| progr. | булева сеть автоматов | boolean automata network (ssn) |
| math. | булева структура | Boolean structure |
| math. | булева сумма | Boolean sum |
| IT | булева схема | Boolean circuit (sas_proz) |
| math. | булева схема | Boolean scheme |
| math. | булева схема | Boolean network |
| math. | булева схема | Boolean design |
| progr. | булева формула | boolean expression (ssn) |
| progr. | булева формула | boolean formula (ssn) |
| media. | булева формула | Boolean expression (формула, образованная из булевых переменных с помощью логических связок «ИЛИ», «И» и «НЕ») |
| IT | булева функция | Boolean connective |
| progr. | булева функция | boolean formula (ssn) |
| el. | булева функция | logic function |
| math. | булева функция | Boolean function |
| IT | булевая алгебра | Boolean mathematics |
| comp. | булевая функция | logic function |
| comp. | булевая функция | logical function |
| mech. | булевая функция | Boolean function |
| comp. | булевая функция | binary function |
| nautic. | булевая цистерна | saddle tank (полуторакорпусной подводной лодки) |
| math. | булево включение | Boolean inclusion |
| el. | булево выражение | logical expression |
| IT | булево выражение | Boolean phrase |
| IT | булево выражение | Boolean connective |
| IT | булево выражение | Boolean |
| el. | булево выражение | conditional expression |
| el. | булево выражение | Boolean equation (ssn) |
| progr. | булево выражение | boolean expression |
| math. | булево выражение в виде дизъюнкции конституент единицы | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в виде дизъюнкции конституент единицы | sum-of-products boolean expression (ssn) |
| math. | булево выражение в виде дизъюнкции конституент единицы | minterm boolean expression (ssn) |
| math. | булево выражение в виде дизъюнкции конъюнкций | sum-of-products boolean expression (ssn) |
| math. | булево выражение в виде дизъюнкции конъюнкций | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в виде дизъюнкции конъюнкций | minterm boolean expression (ssn) |
| el. | булево выражение в виде конъюнкции дизъюнкций | maxterm boolean expression (ssn) |
| math. | булево выражение в виде конъюнкции дизъюнкций | product-of-sums boolean expression (ssn) |
| el. | булево выражение в виде конъюнкции конституент нуля | maxterm boolean expression (ssn) |
| math. | булево выражение в виде конъюнкции конституент нуля | product-of-sums boolean expression (ssn) |
| el. | булево выражение в виде логического произведения дизъюнкций | product-of-sums boolean expression (ssn) |
| el. | булево выражение в виде логического произведения сумм | product-of-sums boolean expression (ssn) |
| math. | булево выражение в виде логической суммы конъюнкций | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в виде логической суммы конъюнкций | sum-of-products boolean expression (ssn) |
| math. | булево выражение в виде логической суммы произведений | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в виде логической суммы произведений | sum-of-products boolean expression (ssn) |
| math. | булево выражение в виде логической суммы произведений | minterm boolean expression (ssn) |
| math. | булево выражение в дизъюнктивной нормальной форме | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в дизъюнктивной нормальной форме | minterm boolean expression (ssn) |
| math. | булево выражение в дизъюнктивной нормальной форме | sum-of-products boolean expression (ssn) |
| math. | булево выражение в дизъюнктивной нормальной форме | minterm form of boolean expression (ssn) |
| math. | булево выражение в ДНФ | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в ДНФ | sum-of-products boolean expression (ssn) |
| math. | булево выражение в ДНФ | minterm boolean expression (ssn) |
| math. | булево выражение в ДНФ | minterm form of boolean expression (ssn) |
| el. | булево выражение в КНФ | product-of-sums boolean expression (ssn) |
| el. | булево выражение в КНФ | maxterm form of boolean expression (ssn) |
| math. | булево выражение в КНФ | maxterm boolean expression (ssn) |
| el. | булево выражение в конъюнктивной нормальной форме | maxterm form of boolean expression (ssn) |
| el. | булево выражение в конъюнктивной нормальной форме | product-of-sums boolean expression (ssn) |
| math. | булево выражение в конъюнктивной нормальной форме | maxterm boolean expression (ssn) |
| el. | булево выражение в форме логического произведения дизъюнкций | product-of-sums boolean expression (ssn) |
| el. | булево выражение в форме логического произведения сумм | product-of-sums boolean expression (ssn) |
| math. | булево выражение в форме логической суммы конъюнкций | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в форме логической суммы конъюнкций | sum-of-products boolean expression (ssn) |
| math. | булево выражение в форме логической суммы произведений | sum-of-products form of a boolean expression (ssn) |
| math. | булево выражение в форме логической суммы произведений | sum-of-products boolean expression (ssn) |
| progr. | булево высказывание | Boolean statement (ssn) |
| progr. | булево действие | boolean action (ssn) |
| IT | булево дерево | Boolean tree |
| tech. | булево дерево | Boolean treble |
| math. | булево дополнение | Boolean completion |
| tech. | булево дополнение | Boolean complement |
| IT | булево значение | logical value (ssn) |
| IT | булево значение | Boolean value |
| tech. | булево исчисление | Boolean calculus |
| comp., net. | булево кодирование | Boolean encoding |
| math. | булево кодирование | Boolean coding |
| math. | булево кольцо | Boolean ring |
| Makarov. | булево логическое дополнение | Boolean complement |
| math. | булево множество | Boolean set |
| comp. | булево моделирование | Boolean modeling |
| math. | булево неравенство | Boolean inequality |
| progr. | булево отношение | boolean relation (ssn) |
| math. | булево отображение | Boolean mapping |
| math. | булево пересечение | boolean intersect (I. Havkin) |
| math. | булево пересечение | boolean intersection (I. Havkin) |
| math. | булево подкольцо | Boolean subring |
| IT | булево поле | Boolean field |
| data.prot. | булево представление | Boolean representation |
| math. | булево преобразование | Boolean manipulation |
| tech. | булево преобразование | Boolean transformation |
| math. | булево программирование | Boolean programming |
| math. | булево произведение | Boolean product |
| math. | булево пространство | Boolean space |
| math. | булево расширение | Boolean extension |
| progr. | булево свойство | boolean property (ssn) |
| progr. | булево свойство компонента | boolean bean property (ssn) |
| math. | булево слово | Boolean word |
| tech. | булево сложение | Boolean addition |
| math. | булево суждение | Boolean proposition |
| el. | булево умножение | boolean multiplication (ssn) |
| tech. | булево уравнение | Boolean equation |
| IT | булево число | Boolean number |
| progr. | булевое выражение | boolean expression (Alex_Odeychuk) |
| progr. | булевое значение | boolean (Microsoft Alex_Odeychuk) |
| progr. | булевы выражения | boolean expressions (ssn) |
| progr. | булевы выражения | Boolean equations (ssn) |
| el. | булевы выражения в КНФ | product-of-sums boolean expressions (ssn) |
| el. | булевы выражения в конъюнктивной нормальной форме | product-of-sums boolean expressions (ssn) |
| el. | булевы выражения в форме произведения дизъюнкций | product-of-sums boolean expressions (ssn) |
| el. | булевы выражения в форме произведения сумм | product-of-sums boolean expressions (ssn) |
| IT | булевы вычисления | Boolean calculations |
| IT | булевы данные | Boolean data |
| progr. | булевы значения и код с переходами | boolean values and jumping code (ssn) |
| progr. | булевы литералы | boolean literals (true ("истина") и false ("ложь") ssn) |
| IT | булевы логические операторы И, ИЛИ, НЕТ | logical operators AND, OR, and NOT (MichaelBurov) |
| IT | булевы логические операторы И, ИЛИ, НЕТ | standard logical operators AND, OR, and NOT (MichaelBurov) |
| IT | булевы логические операторы И, ИЛИ, НЕТ | Boolean operators AND, OR, and NOT (MichaelBurov) |
| progr. | булевы ноль и единица | boolean zero and one (0, 1 ssn) |
| libr. | булевы операторы | boolean operators |
| progr. | булевы операции | Boolean operations (ssn) |
| progr. | булевы операции и команды сравнения | boolean and comparison instructions (ssn) |
| progr. | булевы сети автоматов | boolean automata networks (ssn) |
| IT | булевы теоремы | boolean theorems (ssn) |
| progr. | булевы формулы | boolean expressions (ssn) |
| progr. | булевы формулы | boolean formulas (ssn) |
| progr. | булевы формулы с кванторами | quantified boolean formulas (ssn) |
| progr. | булевы функции | boolean formulas (ssn) |
| progr. | булевы функции двух переменных | boolean functions of two variables (ssn) |
| math. | булевы функции и выражения | boolean functions and expressions (ssn) |
| progr. | булевый атомарный тип | boolean atomic type (корпорации Cray Alex_Odeychuk) |
| mech. | булевый оператор | Boolean operator |
| IT | булевый тип | boolean type (Alex_Odeychuk) |
| progr. | в большинстве языков программирования булевы операторы выполняют упрощённые вычисления | in most programming languages, boolean operators perform short-circuit evaluation (см. "The Art of Readable Code" by Dustin Boswell, Trevor Foucher 2012) |
| progr. | возвращающий булево значение | returning a boolean value (Alex_Odeychuk) |
| IT | вторичное булево выражение | Boolean secondary |
| progr. | вторичное булево выражение | boolean secondary expression (ssn) |
| AI. | выполнимость булевых формул | propositional satisfiability (boolean satisfiability Alex_Odeychuk) |
| AI. | выполнимость булевых формул | boolean satisfiability (Alex_Odeychuk) |
| media. | выражение булевой алгебры | conditional expression |
| progr. | вычисление булевой функции | calculation of a boolean function (ssn) |
| progr. | вычисление булевых формул с кванторами | evaluating quantified boolean formulas (ssn) |
| progr. | вычисление булевых функций | calculation of boolean functions (ssn) |
| IT | вычисления методами булевой алгебры | Boolean calculations |
| math. | граф булевой функции | graph of Boolean function |
| progr. | двойное булево выражение | double boolean expression (ssn) |
| progr. | детектирует задний фронт булевой переменной | detects a falling edge of a Boolean variable (ssn) |
| progr. | детектирует передний фронт булевой переменной | detects a rising edge of a Boolean variable (ssn) |
| math. | дизъюнктивная нормальная форма булевого выражения | minterm form of boolean expression (ssn) |
| math. | дизъюнктивная нормальная форма записи булевого выражения | minterm form of boolean expression (ssn) |
| math. | дискретная булева алгебра | atomic boolean algebra (ssn) |
| math. | ДНФ булевого выражения | minterm form of boolean expression (ssn) |
| AI. | задача выполнимости булевых формул | propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул | SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул | boolean satisfiability problem (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в конъюнктивной нормальной форме | SATCNF (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в k-конъюнктивной нормальной форме | k-SAT (Alex_Odeychuk) |
| AI. | задача выполнимости булевых формул в 2-конъюнктивной нормальной форме | 2-SAT (Alex_Odeychuk) |
| progr. | закодированная булева формула | coded boolean expression (ssn) |
| progr. | использование булева действия | use of boolean action (ssn) |
| progr. | каноническая форма представления булевых функций | canonical form representation for boolean formulas (ssn) |
| el. | КНФ булевого выражения | maxterm form of boolean expression (ssn) |
| progr. | коды невыполнимых булевых формул | codes for an unsatisfiable boolean expression (ssn) |
| AI. | компилятор на основе решателя задач выполнимости булевых формул | SAT compiler (Alex_Odeychuk) |
| el. | конструирование схем на основе булевых выражений | constructing circuits from boolean expressions (ssn) |
| el. | конъюнктивная нормальная форма булевого выражения | maxterm form of boolean expression (ssn) |
| el. | конъюнктивная нормальная форма записи булевого выражения | maxterm form of boolean expression (ssn) |
| progr. | кусочно-постоянная булева функция | bent sequence (ssn) |
| tech. | логический терм, булев член | logic term |
| math. | локально булева решётка | locally Boolean lattice |
| progr. | любая булева переменная | any Boolean variable (ssn) |
| el. | метод булевых разностей | Boolean difference approach |
| progr. | метод непосредственного вычисления булевых функций | direct calculation method of boolean functions (ssn) |
| progr. | метод установки булева значения | boolean setting method (ssn) |
| progr. | множество закодированных выполнимых булевых формул | set of coded boolean expressions that are satisfiable (ssn) |
| IT | морфическая булева переменная | morphic variable |
| IT | морфическая булева функция | morphic function |
| progr. | невыполнимая булева формула | unsatisfiable boolean expression (ssn) |
| media. | недополненная булева переменная | uncomplemented Boolean variable (переменная в конъюнктивной или дизъюнктивной формах, записанная без знака отрицания) |
| el. | нелинейность булевой функции | Boolean function nonlinearity |
| progr. | непосредственное вычисление булевой функции | immediate calculation of a boolean function (ssn) |
| progr. | непосредственное вычисление булевой функции | direct calculation of a boolean function (ssn) |
| progr. | непосредственное вычисление булевых функций | immediate calculation of boolean functions (ssn) |
| progr. | непосредственное вычисление булевых функций | direct calculation of boolean functions (ssn) |
| progr. | нормальные формы булевых выражений | normal forms for boolean expressions (ssn) |
| progr. | область булевых значений | boolean domain (ssn) |
| comp. | обобщённая булева алгебра | generalized Boolean algebra |
| comp. | обработка булевых переменных | Boolean bit-handling |
| IT | образование булева дополнения | Boolean complementation |
| progr. | обратные поправки для булевых выражений | backpatching for boolean expressions (ssn) |
| IT | операторы булевой логики И, ИЛИ, НЕТ | standard logical operators AND, OR, and NOT (MichaelBurov) |
| IT | операторы булевой логики И, ИЛИ, НЕТ | logical operators AND, OR, and NOT (MichaelBurov) |
| IT | операторы булевой логики И, ИЛИ, НЕТ | Boolean operators AND, OR, and NOT (MichaelBurov) |
| IT | операция дополнения булева дополнения | Boolean complementation |
| IT | операция образования булева дополнения | Boolean complementation |
| comp. | описание на языке булевых функций | Boolean representation |
| progr. | определяет задний фронт булевой переменной | detects a falling edge of a Boolean variable (ssn) |
| progr. | определяет передний фронт булевой переменной | detects a rising edge of a Boolean variable (ssn) |
| el. | основные соотношения булевой алгебры | boolean relationships (ssn) |
| progr. | первичное булево выражение | boolean primary expression (ssn) |
| progr. | побитовая булева функция | boolean bitwise function (ssn) |
| progr. | побитовая булева функция | bitwise boolean function (ssn) |
| progr. | побитовые булевы функции | bitwise boolean functions (ssn) |
| progr. | поиск с использованием булевой логики и учётом "веса" дескрипторов | weighted boolean (Alex Lilo) |
| automat. | поиск с использованием булевых операторов | Boolean search |
| progr. | поиск с использованием операторов булевой алгебры | Boolean search (ssn) |
| math. | полная булева алгебра | complete boolean algebra (ssn) |
| math. | полная дискретная булева алгебра | complete atomic boolean algebra (ssn) |
| IT | получение логических схем из булевых выражений | implementing circuits from boolean expressions (ssn) |
| progr. | поразрядная булева функция | boolean bitwise function (ssn) |
| progr. | поразрядная булева функция | bitwise boolean function (ssn) |
| progr. | поразрядные булевы функции | bitwise boolean functions (ssn) |
| progr. | последовательность булевых значений | sequence of boolean values (ssn) |
| tech. | последовательный булев анализатор | sequential Boolean analyzer |
| el. | построение схемы на основе булева выражения в КНФ | drawing a circuit from a maxterm boolean expression (ssn) |
| el. | построение схемы на основе булева выражения в конъюнктивной нормальной форме | drawing a circuit from a maxterm boolean expression (ssn) |
| el. | правила булевого умножения | rules of boolean multiplication (ssn) |
| el. | правила двоичного и булевого умножения | rules of binary and boolean multiplication (ssn) |
| progr. | правильные коды булевых формул | valid codes for a boolean expression (ssn) |
| progr. | представление булевых функций | representation for boolean formulas (ssn) |
| progr. | представление булевых функций | representing boolean formulas (ssn) |
| progr. | преобразование булевых выражений | conversions for boolean expressions (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
| AI. | преобразование в булевые формулы | converting into a boolean-logic form (Alex_Odeychuk) |
| IT | произвольная булева функция | arbitrary Boolean function |
| tech. | простая булева переменная | Boolean simple variable |
| math. | простое булево выражение | simple Boolean expression (простое логическое) |
| tech. | процессор обработки булевых функций | Boolean processor |
| progr. | реализация булевых выражений | implementing boolean expressions (ssn) |
| progr. | реализация булевых функций | implementation of boolean functions (ssn) |
| progr. | реальное понимание булевой алгебры | better understanding of boolean algebra (ssn) |
| AI. | решатель задач выполнимости булевых формул | SAT solver (Alex_Odeychuk) |
| math. | сепарабельное булево кольцо | separable Boolean ring |
| math. | слабо дистрибутивная булева алгебра | weakly distributive Boolean algebra (ssn) |
| IT | слабодистрибутивная булева алгебра | weakly distributive Boolean algebra |
| progr. | стандартная побитовая булева функция | standard bitwise boolean function (ssn) |
| progr. | стандартная поразрядная булева функция | standard bitwise boolean function (ssn) |
| progr. | стандартные побитовые булевы функции | standard bitwise boolean functions (см. IEC 61131-3 ssn) |
| progr. | стандартные поразрядные булевы функции | standard bitwise boolean functions (см. IEC 61131-3 ssn) |
| el. | схема на основе булева выражения в КНФ | circuit from a maxterm boolean expression (ssn) |
| el. | схема на основе булева выражения в конъюнктивной нормальной форме | circuit from a maxterm boolean expression (ssn) |
| math. | счётная булева алгебра | countable Boolean algebra |
| IT | таблица истинности для булевой операции | Boolean operation table |
| IT | таблица истинности для булевой операции | Boolean operation table |
| progr. | таблицы истинности для булевых функций | truth tables for Boolean functions (ssn) |
| math. | теория булевых алгебр | theory of Boolean algebras |
| Makarov. | теория булевых алгебр | Boolean calculus |
| progr. | трансляция булевых выражений | translation of boolean expressions (ssn) |
| el. | упрощение булевых выражений | simplifying boolean expressions (ssn) |
| progr. | упрощение булевых функций | simplification of boolean functions (ssn) |
| data.prot. | уравнение булевой логики | Boolean equation |
| microel. | усовершенствованный язык булевых выражений | advanced boolean expression language |
| el. | функция булевого умножения | boolean multiplication function (ssn) |
| progr. | функция, возвращающая булево значение | function returning a Boolean value (Alex_Odeychuk) |
| AI. | функция, возвращающая булево значение | predicate (Alex_Odeychuk) |
| progr. | целые числа, булевы переменные и массивы | integers, booleans, and arrays (ssn) |
| progr. | элементарные булевы операции | elementary boolean operations (ssn) |
| math. | ядро булевой функции | kernel of Boolean function |
| IT | язык булевых операторов | Boolean-based language (напр., для программирования контроллеров) |
| tech. | язык булевых операторов | Boolean -based language |
| tech. | язык булевых операторов | Boolean algebra-based language |
| comp. | язык булевых операторов | Boolean-based language |
| comp. | язык булевых операторов | Boolean language |
