Карта Карно — это таблица истинности определённого вида для логической функции — была предложена в 1952 г. американским учёным Эдвардом В. Вейчем и усовершенствована в 1953 г. американским физиком Морисом Карно. Карты Карно используются для минимизации нормальной формы булевых функций, т.е. для построения МДНФ и МКНФ.
Виды карт Карно:
Для функции двух переменных
Для функции трёх переменных
Для функции четырёх переменных
- Заметим, что в картах Карно наборы аргументов в соседних строках и столбцах (включая первые и последние) отличаются значением одного аргумента.
Ссылки
- Википедия
- Участник:Logic-samara