0, 1

, малыми буквами латинского  алфавита х, у, z, и, v, ..., Х\9 х2, ..., хп, ... и будем называть их булевыми. В этой главе изучим некоторые свойства булевых функций и посмотрим, как эти функции могут применяться в алгебре  высказываний и в теории релейно-контактных схем.

Булевы функции от одного аргумента.

Булевой функцией от одного аргумента называется функция , заданная на множестве из двух элементов и принимающая значения в том же двухэлементном множестве.

Элементы двухэлементного множества будем обозначать 0 и 1. Таким образом, ⨍: