Россия, Балаково
СДЕЛАЙТЕ СВОИ УРОКИ ЕЩЁ ЭФФЕКТИВНЕЕ, А ЖИЗНЬ СВОБОДНЕЕ
Благодаря готовым учебным материалам для работы в классе и дистанционно
Скидки до 50 % на комплекты
только до
Готовые ключевые этапы урока всегда будут у вас под рукой
Организационный момент
Проверка знаний
Объяснение материала
Закрепление изученного
Итоги урока
Была в сети 18.02.2024 16:46
Тихонова Мария Викторовна
Преподаватель специальных дисциплин
15 лет
7 580
4 950 
Местоположение
Специализация
Приведенные и нормальные формы
Категория:
Прочее
18.11.2017 09:30
Просмотр содержимого документа
«Приведенные и нормальные формы»
В алгебре высказываний было установлено, что для любой формулы существует равносильная ей формула, содержащая только V,Λ, −. В логике предикатов для каждой формулы можно найти равносильную формулу, содержащую только знаки операций V,Λ, −, причем знак − относится только к элементарным высказываниям и элементарным предикатам. Такая формула называется приведенной формой данной формулы.
Пример:
Нормальные формы в логике предикатов.
Формула предиката имеет нормальную форму, если она содержит только операции конъюнкции, дизъюнкции, и кванторные операции, а операция отрицания отнесена к элементарному предикату.
Пример:
2
Вебинар для учителей
Свидетельство об участии БЕСПЛАТНО!
Полезное для учителя
Реализация образовательных программ осуществляется с применением исключительно электронного обучения и ДОТ
