![](/user_photo/2706_HbeT2.jpg)
- •Понятие
- •Деление понятий
- •Суждение
- •Сложные суждения
- •Умозаключение
- •Простой категорический силлогизм
- •1 Фигура 2 фигура
- •Непосредственные умозаключения -
- •Условные умозаключения
- •Условно-категорический силлогизм
- •Полисиллогизм -
- •Доказательство и опровержение
- •Символическая логика высказываний
- •Основные тождества логики высказываний
- •Совершенная конъюнктивная нормальная форма (сокращенно скнф)
- •Сокращенная конъюнктивная нормальная форма (сокращенно кнф)
- •Заключение
- •Литература
Сокращенная конъюнктивная нормальная форма (сокращенно кнф)
Сокращенная конъюнктивная форма позволяет найти все простые следствия из конъюнкции данных формул. Следствие называют простым если оно есть не содержащая повторений и не тождественно истинная элементарная дизъюнкция, которая, будучи логическим следствием из конъюнкции данных формул, не поглощается никаким более сильным следствием такого же вида, т.е. после отбрасывания какого-нибудь из ее членов перестает быть следствием из данных формул. Иногда более сильное следствие поглощает слабые. Так, при тождественной истинности формул вида AB, считают, что А сильнее чем В.
Сокращенная КНФ некоторой формулы есть конъюнкция всех ее простых следствий.
Она обладает следующими свойствами:
ни в одном конъюнкте ни одна переменная не повторяется;
нет таких пар конъюнктивных членов, что всякий дизъюнкт из одного имеется в другом;
для всяких двух конъюнктивных членов, из которых один содержит некоторую переменную, а другой ее отрицание (при условии, что другой переменной, для которой это же имеет место, в данной паре конъюнктов нет), имеется в этой же КНФ конъюнктивный член, равный дизъюнкции остальных дизъюнктов этих двух конъюнктивных членов.
Для получения обзора всех простых следствий из данных посылок необходимо:
Привести конъюнкцию посылок к КНФ.
Из всех одинаковых конъюнктов оставить только один и в элементарных дизъюнкциях устранить все повторения.
На основании правил 20 и 22 устранить все конъюнкты, которые содержат хотя бы одну переменную одновременно с отрицанием и без него.
Е
сли из двух конъюнктов один содержит некую переменную, а другой - ее отрицание, то согласно правилу 30 добавить к формуле новый конъюнкт, равный дизъюнкции остальных дизъюнктов этих двух конъюнктивных членов. Например, если два конъюнкта имеют вид:
A
+ C
и B
+ C,
то добавляется новый конъюнкт A
+ В.
Ана основании правила 31 - (A
+ C)
& C
= (A
+ C)
& C
& A
и правила 32 - C&
(B
+ C)=C
& (B
+ C)
& B,
которые являются частными случаями
правила 30, при наличии конъюнктов вида
С и В + C
или же вида А + С и С мы в первом случае
приписываем новый конъюнкт В, а во втором
- А.
Если имеется возможность, применяем правило 9, т.е. если есть конъюнкты вида А и A + В, то дизъюнкция A + В вычеркивается.
Если необходимо, то применяем правило 15, устраняя повторения конъюнктов.
Врезультате применения пунктов 1-6 получим
сокращенную КНФ (силлогиcтический
многочлен), содержащую все простые
следствия из данных посылок.
Пример. Даны посылки A B, A + C, B & C.
Найти
все простые следствия из этих посылок:
(A B) & (A + C) & (B & C),
(A
+ B) & (A + C) & ( B + C),
(A
+ B) & ( A + C) & (B + C) & (B + C) & (A + B) &
B,
(A
+ C) & B.
Это значит, что при данных посылках формула А + С истинна, а В - ложна.
ЗАДАНИЕ 25. Найти все простые следствия из данного набора посылок путем приведения к сокращенной КНФ конъюнкции этих посылок.
Вариант:
(
A & B) C, (A + C) (B + D)
(
A + B)(D + C), D(C & B)
A(B & C), (A & D) B, (A&C) E
A
+ B, B + C, A & C
A
B, AC, B + C
A
C, CB, AC
(
A + B) & C, A C, B C
A
B, C + D, A (D & C)
A
B, D + E, B C, C D, E(A&D)
C
(A & B), A(B & C), (B & C) A
ЗАДАНИЕ 26. Методом приведения к совершенной КНФ решить следующую задачу.
Рабочий должен снимать с конвейера бракованные детали. Мастер сказал, что бракованными следует считать те детали, которые удовлетворяют одновременно ряду условий, а именно они:
искривлены, заржавлены или не окрашены;
или нестандартны, или заржавлены, или то и другое вместе;
или искривлены, или не заржавлены, или то и другое вместе;
или нестандартны, или не заржавлены, или то и другое вместе;
искривлены, заржавлены или окрашены.
Предложенный мастером набор условий упростить до двух характеристик отбираемых деталей.
Это задание общее для всех вариантов.