Изменения

|3-ИЛИ, максимум

|}

=== Тождественность и двойственность ===

Если в булевом тождестве заменить каждую функцию на двойственную ей, снова получится верное тождество. В приведённых выше формулах легко найти двойственные друг другу пары.

{{main|Теорема Поста о полной системе функций}}