Дизъюнкция любых двух формул равна их конъюнкции плюс сумма обеих составляющих:
Если многочлен Жегалкина содержит произведение каких-нибудь переменных, то выражаемая им функция нелинейна:
Если функция f (X, Y, Z) существенно зависит от переменной X и выполнено f (0, 1, 0) = f (1, 1, 0) = 1, то она нелинейная:
Если функция f (X, Y, Z) существенно зависит от переменной X и выполнено f (0, 1, 0) = f (1, 1, 0) = 1, то она самодвойственная:
Замыкание системы F булевых функций - множество всех суперпозиций функций системы F:
Класс монотонных функций - замкнутый:
Никакая функция не может быть представлена больше чем одним многочленом:
Переменная является формулой, если входит в систему D и обозначается тем же символом:
Суперпозиции формул соответствует суперпозиция функций:
Суперпозиция f(X) = f(X, X, ..., X) - функция одной переменной, не сохраняющая значение 0, т. е. равная 1 при Х = 0:
Существует ровно пять предполных классов:
Функция "штрих Шеффера" принадлежит классу М монотонных функций:
Число булевых функций от трех переменных равно 64:
Число подчиненных вершин следующего яруса у каждой вершины равно числу ее аргументов:
Элементарные конъюнкции, составляющие ДНФ, могут иметь разное число сомножителей: