<<  Явность Логическое программирование  >>
Основные понятия на сегодня
Основные понятия на сегодня. Унификация Подстановки Композиция подстановок Явность. 43.

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

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

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

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

«Алгебра высказываний» - Что такое логика? Основными формами абстрактного мышления являются: понятия, суждения, умозаключения. Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы. Простые и сложные высказывания. 5. Основные операции алгебры высказываний. Инверсия; конъюнкция; дизъюнкция; импликация и эквивалентность.

«Правила преобразования логических выражений» - По правилу исключения констант. По закону исключения третьего. Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В. Правило коммутативности А & В = В & А А 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).

«Логические функции» - Равносильные логические выражения. Х1,Х2 - входные сигналы, F – выходной сигнал. F15(X, Y) = (отрицание конъюнкции). Логические операции. 3. Логическое сложение (Дизъюнкция) Обозначение: ИЛИ,?, +, |. Построение таблицы истинности и логической функции по заданной логической схеме. Обозначение: НЕ А, ?А,

«Упростить логическое выражение» - Пример 5. Упростить логическое выражение: правило де Моргана. По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. По закону непротиворечия. Пример 1. Упростить логическое выражение: Самостоятельная работа. Пример 2. Упростить логическое выражение: Найдите X, если По закону де Моргана.

«Логические операции» - Операции алгебры логики. Обозначения логических значений. Доказать справедливость тождества. Логическое отрицание (инверсия). Данное высказывание равносильно поездке на матч – М. Получившееся высказывание – сложное высказывание. Примеры строгих и нестрогих дизъюнкций: Отрицание истинного высказывания есть ложь.

«Понятие логического высказывания» - Алгебра – это наука об общих операциях. Составные высказывания на обычном языке. Высказывание – это формулировка своего понимания окружающего мира. Логика – это наука о формах и способах мышления. Логические операции – логические действия. Логическая переменная. Найти множество значений. Найдите значение логических выражений.

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

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

Алгебра

35 тем