Алгоритм построения СКНФ.

 

1. Для нулевых выходов входные переменные связать знаком дизъюнкции, инвертируя единичные входы

2. Элементарные дизъюнкции связать знаком конъюнкции.

 

Пример. По таблице истинности

x y

 

построить СКНФ.

Решение. Для нулевых выходов запишем элементарные дизъюнкции, инвертируя единичные входы:

x y ЭД
 
 

 

Полученные выражения свяжем операцией дизъюнкции:

 

Рассмотрим как применяется булева алгебра при конструировании электронных устройств.

Задача 1. Комитет, состоящий из трех членов P,Q,R, принимает решения большинством голосов, причем среди них обязательно должен быть председатель Q. Разработать устройство для голосования, в котором каждый член комитета голосует нажатием своей кнопки, и чтобы лампочка загоралась, т. и т. т., когда решение принято.

 

P Q R F(P,Q,R) ЭК ЭД
 
 
 
 
 
 
 
 

 

Выпишем СДНФ:

Выпишем СКНФ:

Построим функциональную схему.