Условие задачи
Составьте таблицу истинности для формулы алгебры высказываний. Найдите совершенные дизъюнктивную и конъюнктивную нормальную форму для данной формулы (если соответствующая форма существует). Упростите ее с помощью карт Карно.
Ответ
Составим таблицу истинности:
Для построения совершенной дизъюнктивной нормальной формы из результата таблицы выбираем истинные значения и поставим в соответствие каждому конъюнкцию по всем переменным (причем, если переменная равна 0, то берем ее отрицание).