<<  Дизъюнктивно-нормальная форма Табличный способ приведения к СДНФ  >>
Конъюнктивно-нормальная форма

Конъюнктивно-нормальная форма. КНФ — является логическим произведением элементарных дизъюнкций. Совершенная КНФ – логическое произведение элементарных дизъюнкций, в каждой из которых присутствуют все переменные данной функции.

Слайд 44 из презентации «Решение логических задач»

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

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

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

«Упростить логическое выражение» - Найдите X, если По закону де Моргана. Пример 5. Упростить логическое выражение: По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. Упростите логические выражения с учетом правильной последовательности выполнения логических операций: а)(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.

«Таблица истинности» - Пример 6. Каково наибольшее ЦЕЛОЕ число X, при котором истинно (90 < X·X) ? (X < (X – 1)) ? Пример 4. Для какого из указанных значений X истинно высказывание ¬ ((X>2) ? (X>3))? 1)x=1 2) x= 2 3) x= 3 4) x= 4 Решение: ¬ ((X>2) ? (X>3)) = 1 (X>2) ? (X>3) = 0 Из таблицы истинности импликации 1 ? 0 = 0 Ответ: 3) x= 3.

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

«Булевы функции» - Тождества с константами. Булевы функции и алгебра логики. Принцип двойственности. Двойственность булевых функций. Правило получения двойственных формул. Булевы функции одной переменной. Название. Порядковый номер функции. Булевы переменные и функции. Функции равны. Функция. Булевы функции. Прочтение.

«Логические функции» - Алгоритм: Изучить условие задачи. В противном случае можно прийти к ложному умозаключению. В) по упрощенной (минимизированной) функции составим логическую схему: Функция: F= x1 и x2 F= x1 ? x2 F= x1 ? x2 F= x1 & x2. Сумматор – основа микропроцессора, т.к все операции в микропроцессоре сводятся к сложению.

«Логические законы» - Логические законы и правила преобразования логических выражений. Переместительный (коммутативный) закон. Закон исключения (склеивания). Построение необходимо начинать с логической операции, которая должна выполняться последней. Найдите X, если По закону де Моргана. Закон исключения третьего. Т.к. в данном случае такой операцией является логическое сложение, то на выходе логической схемы должен стоять дизъюнктор.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем