Изменения

'''Карта Карно''' — это '''[[таблица истинности]]''' определённого вида для логической функции — была предложена в 1952 г. американским учёным Эдвардом В. Вейчем и усовершенствована в 1953 г. американским физиком Морисом Карно. '''[[Трёхмерная карта Карно|Карты Карно]]''' используются для минимизации нормальной формы булевых функций, т.е. для построения '''[[МДНФ]]''' и '''[[МКНФ]]'''. 

* Заметим, что в картах Карно наборы аргументов в соседних строках и столбцах (включая первые и последние) отличаются значением одного аргумента.* Для функций пяти и шести аргументов можно применять [[Трёхмерная карта Карно|трёхмерную Строим карту Карно]].для функции двух переменных

[[файл:КК22.JPG]]== Примеры использования карт == Построение МДНФ ====Покрываем единицы карты Карнонаименьшим числом прямоугольников со сторонами длиной'''2ⁿ'''. [[файл: МДНФ20.JPG]] Единицы карты Карно минимально покрываются двумя прямоугольниками вида 1х1, что соответствует двум элементарным конъюнкциям двух аргументов.  [[файл:МДНФ10.JPG]]==== Построение МКНФ ====Покрываем нули карты Карно наименьшим числом прямоугольников со сторонами длиной'''2ⁿ'''. [[файл:МКНФ20.JPG]] Нули карты Карно минимально покрываются двумя прямоугольниками вида 1х1, что соответствует двум элементарным дизъюнкциям двух аргументов. [[файл:МКНФ10.JPG]]=== Построение МДНФ Функция трёх переменных ===[[файл:ЛФ31.JPG]] Строим карту Карно для функции трёх переменных [[файл:КК23.JPG]]==== Построение МДНФ ====Покрываем единицы карты Карно наименьшим числом прямоугольников со сторонами длиной'''2ⁿ'''. [[файл:МДНФ21.JPG]] Единицы карты Карно минимально покрываются одним прямоугольником вида 1х2 и двумя прямоугольниками вида 2х1, что соответствует трём элементарным конъюнкциям двух аргументов. Заметим, что два неполных прямоугольника вида 2х1 соответствуют одному полному прямоугольнику покрытия.  [[файл:МДНФ11.JPG]]==== Построение МКНФ ====Покрываем нули карты Карно наименьшим числом прямоугольников со сторонами длиной'''2ⁿ'''. [[файл:МКНФ21.JPG]] Нули карты Карно минимально покрываются одним прямоугольником вида 1х2 и двумя прямоугольниками вида 2х1, что соответствует трём элементарным дизъюнкциям двух аргументов. [[файл:МКНФ11.JPG]]=== Функция четырёх переменных ===

 ==== Построение МКНФ ====Строим карту Покрываем нули карты Карно для функции четырёх переменных наименьшим числом прямоугольников со сторонами длиной[[файл:ЛФ41'''2ⁿ'''.JPG]]

 == [[Логические понятия|Другие понятия: ]] ==* [[логическая функция]];* [[логический закон]];* [[предикат]];* [[таблица истинности]];* [[трёхмерная карта Карно]].{{Список ЛПон}}

* Википедия. Карта Карно.* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]