Изучение основных канонических форм представления, дающих возможность получить аналитическую форму непосредственно по таблице истинности для произвольной булевой функции. Характеристика применения метода Квайна – Мак-Класки. Анализ метода карт Карно.
Инженерные вопросы, связанные с составлением логических схем ЭВМ, можно решить с помощью математического аппарата, объектом исследования которого являются функции, принимающие, так же как и их аргументы, только два значения - «0» и «1».Свободная булева функция задается одним из трех способов: табличным, геометрическим и аналитическим. При табличном способе булева функция F(x1,…,xn) задается таблицей истинности (таблица 3 и 4). В левой части, которой представлены все возможные двоичные наборы длины n, а в правой указывается значение функции на этих наборах. Под двоичным набором понимается состав значений аргументов x1,x2,…,xn булевой функции F.Все конституенты единицы из СДНФ булевой функции F записываются их двоичными номерами. Нахождение минимальных ДНФ далее производится по импликантной матрице. Например, минимизировать булеву функцию F, заданную таблицей истинности, методом Квайна-Мак-Класки (таблица 6). Образуем группы двоичных номеров. 3.2 Карты Карно.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
