Математическая логика. Типовые расчеты. Лоскутова Е.С - 18 стр.

UptoLike

Рубрика: 

))(())(()()()()(
)8()18)(12(
ZYYXZYYXZYYX
)()())()(())()((
)6()16(
ZYXZYXXXZYZZYX
).()()()()(
)9(
ZYXZYXZYXZYXZYX
Логическими следствиями из данных посылок будут все дизъюнкты, входящие в полученную СКН-форму, а также
всевозможные их конъюнкции. Выписываем получившиеся формулы, придав им более удобную равносильную форму.
1)
)(
)12(
ZYXZYX ;
2)
YZXZYX )(
)12(
;
3)
Z
Y
X
;
4)
YXYXZZYXZYXZYX
)12()8)(16()6(
)()()()( (первая посылка);
5)
ZYZYZYXXZYXZYX
)12()8)(16()6(
)()()()( (вторая посылка);
6)
XYZXZXYZYXZYX (())()(()()(
)18)(12()6(
)())()
)13(
ZXYXZZ ;
7)
)()()()()( ZYYXZYXZYXZYX .
Найдите все неравносильные и не тождественно ложные посылки, для которых данная формула является следст-
вием:
ZYX
)(
.
Решение. Чтобы определить, логическим следствием каких посылок является данная формула, её необходимо при-
вести к совершенной конъюнктивной нормальной форме; в данном случае это проще сделать с помощью таблиц истин-
ности:
ZYX
21
)(
.
Действие
λ(X) λ(Y) λ(Z)
1 2
СКНФ
1 1 1 1 1
1 1 0 1 0
)( ZYX
1 0 1 1 1
1 0 0 1 0
)( ZYX
0 1 1 1 1
0 1 0 1 0
)( ZYX
0 0 1 0 0
)( ZYX
0 0 0 0 0
)( ZYX
Недостающими дизъюнктами в этой форме являются:
)( ZYX , )( ZYX , )( ZYX ,
а искомые посылки получатся из всевозможных конъюнкций исходной формулы с этими дизъюнктами.
Выписываем получившиеся формулы, придав им более удобную равносильную форму:
1)
YXZZYYXZZYXZYX ((()))((()()(
)5()6(
ZXZYZXZZYXZZYY
)8)(16()5(
)()())(()))()
.
2)
XYZZXXYZZYXZYX ((()))((()()(
)5()6(
ZYZXZYZZXYZZXX
)8)(16()5(
)()())(()))() .
3)
)8)(16()5(
))())((()()()( ZZYXZYXZYXZYX )()()(
)13)(12(
YXZYXZYX .
4)
XZYXZXZYXZYXZYX
)5(
)()()()(
)(()())())(((
)5()8)(16(
XXZYXZXZZYXZ YXZYX
)8)(16(
))( .
5)
XZYXZXZYXZYXZYX
)5(
)()()()(
XXXZYXZXZZYXZ ()(()())())(((
)5()8)(16(
YXZY
)18)(16(
))
.