Консультант
НОУ
Сайты вузов
Учимся дистанционно

Метод диаграмм обычно применяют для минимизации функций 2 ÷ 4 аргументов. Для применение метода диаграмм логическую функцию, задают таблицей истинности функции, ДНФ или КНФ. В зависимости от количества аргументов строим таблицу:

a\b 0 1 0     1	a\bc 00 01 11 10 0         1	ab\cd 00 01 11 10 00         01         11         10
для двух аргументов	для трех аргументов	для четырех аргументов

"0" и "1" - это возможные значения логических переменных ("1" - переменная, "0" - ее отрицание).

Обратите внимание, при перечислении возможных наборов аргументов, каждый последующий отличается от предыдущего значением только одного аргумента.

 Рассмотрим минимизацию на примере произвольной функции четырех аргументов, заданной таблицей истинности.
Например, такой:

a	b	c	d	F(a,b,c,d)
0	0	0	0	1
0	0	0	1	1
0	0	1	0	1
0	0	1	1	0
0	1	0	0	0
0	1	0	1	1
0	1	1	0	1
0	1	1	1	0
1	0	0	0	1
1	0	0	1	1
1	0	1	0	0
1	0	1	1	0
1	1	0	0	1
1	1	0	1	1
1	1	1	0	1
1	1	1	1	1

Заполним диаграмму для функции четырех аргументов, записав значения функции в соответствующие наборам ячейки таблицы (Достаточно записать только единичные значения)