Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Формы представления формул логики высказываний



Читайте также:
  1. B) Все формы рекламирования лекарственных средств среди на­селения
  2. I. Отделение сознания от Эго; сознание и мышление; принцип логики
  3. I. Прочитайте и переведите предложения. Найдите сказуемые и укажите их видовременные формы.
  4. II. Функции школьной формы
  5. II. Функции школьной формы
  6. II. Функции школьной формы
  7. II. Функции школьной формы

Скобочная форма, образуется непосредственно после формализации высказывания.

Дизъюнктивная нормальная форма – дизъюнкция элементарных конъюнкций.

Конъюнктивная нормальная форма – конъюнкция элементарных дизъюнкций.

КНФ также называют клаузальной формой.

Клауза – элементарная дизъюнкция.

Литера, литерал – элементарное высказывание или его отрицание.

Дизъюнкт – дизъюнкция конечного числа литералов.

Хорновский дизъюнкт имеет не более одной не инверсной литеры.

Пример.

.

Хорновские дизъюнкты используются в языке ПРОЛОГ (PROLOG, от PROgramming in LOGic – программирование в логике; разработан в 1972 г. Аланом Колмари) для описания правил типа «Если, то». Кстати, в ПРОЛОГЕ с помощью импликации записываются и так называемые факты: .

.

Т.е. факт – это утверждение истинности некой формулы.

Преобразование в КНФ обычно производится при помощи распределительного закона.

СКНФ получают из КНФ путём добавления к каждому дизъюнкту тождественно ложной литеры.

 


Дата добавления: 2015-07-11; просмотров: 178 | Нарушение авторских прав






mybiblioteka.su - 2015-2024 год. (0.006 сек.)