Составители:
Рубрика:
Конституента единицы принимает значение 1 только
на одном наборе (x
n
n
xxx
σ
σσ
...
21
21
1
, x
2
, …, x
n
)=(
σ
1
,
σ
2
, …,
σ
n
).
Совершенной дизъюнктивной нормальной формой (с.д.н.ф.)
называется формула, представляющая логическую функцию
f(x
1
,x
2
,…,x
n
) в виде дизъюнкции некоторого числа конституент
единицы.
Конъюнктивной нормальной формой (к.н.ф.) называется
формула, представляющая логическую функцию f(x
1
,x
2
,…,x
n
) в виде
конъюнкции некоторого числа элементарных дизъюнкций и
логических переменных с отрицанием или без отрицания. Под
элементарной дизъюнкцией понимается логическая сумма любого
числа неодинаковых логических переменных x
i
(i=1,…,n) с
отрицанием или без отрицания.
Пример к.н.ф.: f(x
1
,x
2
,x
3
)=
(
)
(
)( )
32132121
xxxxxxxx ∨∨∨∨∨
.
Совершенной конъюнктивной нормальной формой (с.к.н.ф.)
называется формула, представляющая логическую функцию
f(x
1
,x
2
,…,x
n
) в виде конъюнкции некоторого числа конституент нуля
f(x
1
,x
2
,…,x
n
). Конституента нуля f(x
1
,x
2
,…,x
n
) принимает значение 0
только на одном наборе (x
1
,x
2
,…,x
n
).
1.7. Формальные теории и исчисление
высказываний
Формальная теория это
а) Множество правильно построенных формул (ППФ), или
выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых
аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений
между формулами.
98
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »
