Для функции трёх переменных таблица истинности содержит 8 строк.
Например:
Для вычисления такой функции имеет смысл составить дополнительные столбцы, для промежуточных вычислений.
x | y | z | f | ||
Примечание. В дальнейшем мы будем рассматривать действия с булевыми функциями прежде всего на примере функции . Но если студенты быстро понимают материал, можно рассматривать дополнительные примеры для не очень сложных функций – например, или .
Совершенная дизъюнктная нормальная форма (СДНФ)