Строим карты Карно

Полезная страничка для построения карт Карно произвольных логических функций: http://tablica-istinnosti.ru/ru/

К примеру, вводим функцию: A ∨ B ∧ C ∧ D

Получаем:

A

∨

B

C

D

Для построения карты Карно, построим таблицу истинности данной функции:

A	B	C	D	B C	B C D	A ∨ B C D
0	0	0	0	0	0	0
0	0	0	1	0	0	0
0	0	1	0	0	0	0
0	0	1	1	0	0	0
0	1	0	0	0	0	0
0	1	0	1	0	0	0
0	1	1	0	1	0	0
0	1	1	1	1	1	1
1	0	0	0	0	0	1
1	0	0	1	0	0	1
1	0	1	0	0	0	1
1	0	1	1	0	0	1
1	1	0	0	0	0	1
1	1	0	1	0	0	1
1	1	1	0	1	0	1
1	1	1	1	1	1	1

После этого заполним карту Карно, используя полученные значения:

AB\CD	00	01	11	10
00	0	0	0	0
01	0	0	1	0
11	1	1	1	1
10	1	1	1	1