Пример 2.

Логическую функцию трех переменных представить булевой формулой - в виде СДНФ.

Для того чтобы воспользоваться описанной выше процедурой построения СДНФ логической функции, заданной не булевой формулой, восстановим по исходной формуле ее таблицу истинности (табл. 2.3).

 

Таблица 2.3. Логические функции двух переменных

 

Далее ищем СДНФ логической функции выполняя последовательно все 3 этапа:

1. ;

2. ;

После выполнения третьего шага логическая функция будет выглядеть в виде булевой формулы следующего вида: