Конъюнкция называется элементарной, если в ней каждая переменная встречается не более одного раза.
Дизъюнкция элементарных конъюнкций называется дизъюнктивной нормальной формой (ДНФ).
Например:
Используя законы алгебры логики преобразовать пошагово функцию F(x,y,z) в ДНФ.Для полученного результата составить таблицу истинности.
Решение
Выполним преобразования по действиям:
1. 
2. 
3. 
4. 
5. 
6. 
.
Составим таблицу истинности для полученного результата:
Таблица 5. Таблица истинности для полученного результата
Сравнив столбцы, соответствующие функциям в таблицах №4 и №5, необходимо получить одинаковые значения функции.
И так как в построенных таблицах соответствующие столбцы равны, можно сделать вывод, что перевод в ДНФ верен.
