Куб Карно́ – графический способ минимизации булевых функций, обеспечивающий простоту работы с большими выражениями. Представляет собой операции попарного неполного cклеивания и элементарного поглощения.
Диаграмма Вейча – это специального вида таблица, используемая для задания логических функций и позволяющая упростить процесс поиска минимальных форм. Представляет собой прямоугольник, разделенный на 2n клеток (n переменных). Каждой клетке диаграммы ставится в соответствие двоичный n-мерный набор.
Представление вещественных чисел
Карты Карно, изобретенные в 1952 году Э. Вейчем и усовершенствованные в 1953-м М. Карно, были призваны помочь упростить цифровые электронные схемы. В карту Карно булевы переменные передаются из таблицы истинности и упорядочиваются с помощью кода Грея.
ЗНАЕТЕ ЛИ ВЫ…?
Минимальная дизъюнктивная нормальная форма (МДНФ) для логической функции – это дизъюнкция с минимальным числом элементарных конъюнкций с минимальным числом аргументов (либо самих, либо их отрицаний) данной функции. При этом таблицы истинности для логической функции и её МДНФ совпадают. МДНФ для логической функции с числом аргументов до четырёх может быть построена с помощью карт Карно. Для этого единицы карты Карно последовательно покрываются прямоугольниками 4×2, 2×4, 2×2, 4×1, 1×4, 2×1, 1×2 и 1×1. Затем строятся элементарные конъюнкты МДНФ. Любая булева формула может быть приведена к ДНФ.Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Пример: ABC+ABC+ABC+ABC=AB(C+C)+AB(C+C)=AB+AB=B(A+A)=B.
Все самое актуальное, важное и интересное - в Телеграм-канале «Немцы Казахстана». Будь в курсе событий! https://t.me/daz_asia
