<<  Приведение к нормальной форме ПРИВЕДЕНИЕ К НОРМАЛЬНОЙ ФОРМЕ (окончание)  >>
ПРИВЕДЕНИЕ К НОРМАЛЬНОЙ ФОРМЕ (продолжение)

ПРИВЕДЕНИЕ К НОРМАЛЬНОЙ ФОРМЕ (продолжение). Теперь оба правила имеют одинаковый консеквент. Объединяем их дизъюнкцией: 5.

Слайд 5 из презентации «Логическое программирование»

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

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

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

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

«Логические функции» - Основные формы мышления: Решение задач средствами алгебры логики. Все полученные конъюнкции объединяются знаками дизъюнкции (?). Может ли быть высказывание выражено в форме вопросительного предложения? А= {множество натуральных чисел} – круг. Составного высказывания? Информатики, либо каб. Имеет не менее двух входов и один выход.

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

«История алгебры логики» - Основной Закон Буля. Вильгельм Лейбниц (1646-1716). Содержание. История науки алгебры логики. Логика– это наука о формах и способах мышления. Формы мышления. Булева алгебра. Высказывание – это форма мышления. Понятие. Определение формы. Аристотель. Вопросы. Джордж Буль. Умозаключение.

«Примеры логических функций» - Логические функции. Даны простые высказывания. В нарушении правил обмена валюты подозреваются четыре банка. Определите значение формулы, упростив и построив таблицу истинности. Определение. Определить истинность формулы. Банк B нарушил правила обмена валюты. Заполните таблицу истинности. Логические функции двух переменных.

«Законы алгебры логики» - 4. Распределительный (дистрибутивный) закон. Докажите справедливость первого закона Моргана , используя таблицы истинности. — Для логического умножения: A* (A + B) = A. Закон поглощения. — для логического сложения: А + B = B + A — для логического умножения: A*B = B*A. А * А=0 Закон исключенного третьего.

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

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

Алгебра

35 тем