Для вычисления значений функции необходимо определить порядок логических операций и составить таблицу истинности для всех возможных комбинаций входных переменных и . Порядок операций
- Дизъюнкция (сложение) в скобках: Отрицание результата первой скобки: Дизъюнкция (сложение) во второй скобке: Конъюнкция (умножение) результатов:
Таблица истинности В таблице ниже используются следующие обозначения: 1 — истина (true), 0 — ложь (false).
| 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 0 | 1 | 0 |
Анализ результата Функция принимает истинное значение (1) только в одном случае:
- Когда , и .
Во всех остальных семи комбинациях функция принимает ложное значение (0). Это происходит потому, что для истинности выражения необходимо, чтобы первая скобка после отрицания была ложной (значит, и , и должны быть равны 0), а вторая скобка — истинной (поскольку уже равно 0, переменная обязана быть равной 1). Упрощенная логическая форма Используя законы де Моргана, функцию можно преобразовать к виду: Раскрывая скобки: Так как , выражение упрощается до: Хотите, чтобы я составил для этой функции совершенную дизъюнктивную нормальную форму (СДНФ)?