<<  Собственная часть конъюнкции - это ее любая сокращенная часть Минимизация логических функций  >>
Минимизация логических функций

Минимизация логических функций. Теорема. Любая ЛФ может быть представлена в СкДНФ, т.е. как дизъюнкция всех своих простых импликант (здесь имеется в виду и вырожденный случай константы нуль, когда дизъюнкция эта - пустая). Доказательство. Рассматриваются две группы наборов аргументов. Там, где ЛФ равна 0, все простые импликанты как входящие в эту ЛФ также равны 0. Получается дизъюнкция нулей.

Слайд 47 из презентации «Элементы компьютерной математики»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Элементы компьютерной математики.ppt» можно в zip-архиве размером 1028 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Логические операции» - Импликация. Логическое отрицание (инверсия). Существуют другие логические операции. А, В – логические переменные, которые могут иметь значение ИСТИНА (И), ЛОЖЬ (Л). Самостоятельная работа. Верхняя половина заполняется нулями, нижняя – единицами. 2-й столбец. Перевод логических операций на естественный язык:

«Логические задачи» - Задача «На конкурсе». Следовательно Коршунов – не химик. Задача «Машины». Корнеев, Докшин, Мареев и Скобелев – жители нашего города. Учитель химии старше учителя истории. Решение логических задач. Разбирается дело Брауна, Джонса и Смита. Дина, Соня, Коля, Рома и Миша учатся в институте. Установите имя и фамилию каждого из студентов.

«Логические функции» - Логическое умножение: F=А&B&C&D 2. В современных гирляндах лампочки подключены параллельно. Так возникла формальная логика. Аристотель впервые дал систематическое изложение логики. Здесь для первых двух скобок применена формула склеивания. Какое количество логических функций двух аргументов существует и почему?

«Упростить логическое выражение» - Упростите логические выражения с учетом правильной последовательности выполнения логических операций: а)(A v ¬A) ^ B б) A ^ (A v B) ^ (C v ¬B) в) A v ¬A ^ B г)A ^ B v A^ ¬ B д)(A v B ) ^ (A v ¬ B) е)A ^ ¬B v B ^ C v ¬A ^ ¬B. Пример 3. Упростить логическое выражение: Логические законы и правила преобразования логических выражений.

«Правила преобразования логических выражений» - По правилу исключения констант. Законы логики. По закону исключения третьего. Решение логического уравнения. Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В. Правила равносильности А v A = А A & A = A Правила исключения констант А v 1 = 1 А v 0 = A А & 1 = A A & 0 = 0.

«Логические таблицы истинности» - Заполнить таблицу истинности по столбцам. Для составления таблицы необходимо: Таблица истинности сложного логического выражения. Выяснить количество столбцов = количество переменных + количество логических операций. Установить последовательность выполнения логических операций. Как правильно составить и использовать?

Конкурсы по математике

19 презентаций о конкурсах по математике
Урок

Математика

71 тема