Файл: Булевы функции.doc

СОДЕРЖАНИЕ

1.Строим минимизационную карту (табл. 24):

2. Вычеркиваем строки, в которых функция обращается в нуль (табл. 25):

3. В каждом столбце из сохранившихся чисел вычеркиваем те, равные которым уже вычеркнуты в этом столбце на предыдущем шаге (табл. 26):

4. В сохранившихся строках выбираем «значения» наименьших по числу множителей конъюнкций (включая и конъюнкции с одним множителем – переменные) и обводим их (табл. 27):

5. Если в одном столбце обведено несколько одинаковых чисел, то вычеркиваем все, кроме одного (табл. 28):

2.2.2.3. Построение всех тупиковых днф

2.2.3. Полные системы булевых функций

2.2.3.1. Двойственные функции

2.2.3.2. Линейные функции

2.2.3.3. Монотонные функции