Постройте СДНФ функции по таблице истинности и упростите её
Условие
Логическая функция принимает значение 1 ровно на трёх наборах: , и , а на остальных пяти наборах равна 0. Запишите совершенную дизъюнктивную нормальную форму (СДНФ) этой функции и упростите полученную формулу.
Ответ
СДНФ: ; после упрощения .
Решение по шагам
Шаг 1. Правило построения СДНФ
СДНФ собирается только по тем строкам таблицы, где функция равна 1. Для каждой такой строки пишут конъюнкцию всех переменных по правилу:
- переменная равна 1 → берём её саму;
- переменная равна 0 → берём её с инверсией.
Полученные конъюнкции соединяют знаком дизъюнкции . Смысл прост: каждая конъюнкция истинна ровно на «своём» наборе и ни на каком другом, а дизъюнкция собирает все разрешённые наборы вместе.
Значит, в нашей СДНФ будет ровно 3 слагаемых — по числу единиц.
Шаг 2. Пишем конъюнкции для первых двух наборов
Набор : → берём ; → берём ; → берём . Получаем
Набор : → ; → ; → . Получаем
Быстрая самопроверка: подставьте в первую конъюнкцию набор — получится 0, значит она действительно «отвечает» только за свой набор.
Осталось ещё 3 шага — откроются после входа:
- Шаг 3. Собираем полную СДНФ
- Шаг 4. Склеиваем подходящие слагаемые
- Шаг 5. Проверка по всем восьми наборам
Бесплатно · займёт минуту
Частые ошибки
- ✗
Путают правило и ставят инверсию там, где переменная равна 1 (а не 0) — получается функция, истинная на «зеркальных» наборах.
- ✗
Соединяют конъюнкции знаком вместо : такая формула ложна на всех наборах сразу.
- ✗
Строят слагаемые по строкам, где (это уже СКНФ, и там правила другие).
- ✗
Склеивают слагаемые, различающиеся больше чем в одной переменной: например, и «сокращают» до — тогда появляется лишняя единица на наборе , где функция равна 0.