A.2.15 Построение совершенных дизъюнктивной и конъюнктивной нормальных форм (СДНФ и СКНФ) (720p)

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