Булева алгебра
Логические операции работают с булевыми значениями: истина (1) и ложь (0). Основные операции: AND (∧, &) — конъюнкция, OR (∨, |) — дизъюнкция, NOT (¬, !) — отрицание, XOR (⊕, ^) — исключающее ИЛИ, NAND — НЕ-И, NOR — НЕ-ИЛИ.
Импликация (A → B) ≡ NOT A OR B. Таблица истинности перечисляет все 2ⁿ комбинаций значений n переменных.