<<  Дизъюнкция и ложь Приведение к нормальной форме  >>
Нормальная форма программ

Нормальная форма программ. Явная конъюнкция в программе – если каждое продукционное правило имеет в точности одну предпосылку. Но возможны несколько правил для одной цели. Тогда следует привести программу к нормальной форме. Нормальная форма программ = программа в явной дизъюнктивной форме. В таком случае каждая цель соответствует голове в точности одного правила. 3.

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

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

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

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

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

«Логика высказываний» - Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной. Будем обозначать высказывания прописными буквами. Буля и О. Моргана математическая логика представлена как своеобразная алгебра – алгебра логики (алгебра высказываний).

«Логические функции» - Логические основы устройства компьютера. Забавно, не правда ли? «Ты прав» - подтвердил мастер. Таблица истинности: Обозначение: НЕ А, ?А, 2. Логическое умножение (Конъюнкция) Обозначение: И, ?, &, •. 1. Табличный. У инвертора один вход и один выход. Логические операции. В роли “элементарной частицы” в ЭВМ всегда выступает разновидность выключателя.

«Алгебра логики» - Умозаключение. Формы мышления. Объем понятия. Этапы развития логики. Логические переменные. Предложения не являются высказываниями. Появление математической, или символической, логики. Вопросительные и восклицательные предложения. Логическое равенство. Логические операции. Логическое следование. Эквивалентность.

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

«Таблица истинности» - Кто утаил клад? 6. Андрей живет рядом с Учителем. 5. Борис не Врач и не живет рядом с Врачом. ((K /\L) –> (L /\ M \/ N)) = 1 1 4 2 3. 3. Врач живет с краю. Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50 (-?; -7) U(7;+?) [-8; 6) [-8; -7) (X2>50) = 0 (X+1)2 < 50 = 1.

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

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

Алгебра

35 тем