Математическая логика и теория алгоритмов. Самохин А.В. - 222 стр.

UptoLike

ВУЗ: 

МГТУ ГА | Москва

Составители: 

Рубрика: 

222 úÁÄÁÞÉ
æÕÎËÃÉÑ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÉÓÈÏÄÎÏÊ ÓÈÅÍÙ ÚÁÄÁ¾ÔÓÑ ÆÏÒÍÕÌÏÊ:
xzy ∨ xyz.
ðÒÉ×ÅÄ¾Í ÔÅÐÅÒØ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÏÐÏÌÏÇÉÉ ÓÈÅÍÙ (ÚÄÅÓØ ÂÕÄÕÔ ÄÏÂÁ×ÌÑÔØÓÑ
É ÕÄÁÌÑÔØÓÑ ÎÅ ÔÏÌØËÏ ÐÒÏ×ÏÄÎÉËÉ, ÎÏ É ÒÅÌÅ):
ðÅÒÅÓÅÞÅÎÉÅ ÐÒÏ×ÏÄÎÉËÏ×, ÎÅ ÏÔÍÅÞÅÎÎÏÅ ÖÉÒÎÏÊ ÔÏÞËÏÊ, ÏÚÎÁÞÁÅÔ ÉÈ
ÉÚÏÌÑÃÉÀ ÄÒÕÇ ÏÔ ÄÒÕÇÁ. éÚÏÂÒÁÚÉÍ ÏÓÔÁ×ÛÅÅÓÑ ÎÁ ÐÏÓÌÅÄÎÅÊ ÓÈÅÍÅ.
óÏÓÔÁ×ÉÔØ ÓÈÅÍÙ, ÒÅÁÌÉÚÕÀÝÉÅ ÓÌÅÄÕÀÝÉÅ ÆÕÎËÃÉÉ:
294. x → y; 295. x ∼ y; 296. x ∨ ∨ y; 297. (x → y)(y → z);
298. (x → y) → x(y ∨ z);
299.
x y z f
1
f
2
f
3
0 0 0 0 0 1
0 0 1 1 1 1
0 1 0 1 0 0
0 1 1 0 1 0
1 0 0 1 0 1
1 0 1 0 1 1
1 1 0 0 0 0
1 1 1 0 0 1
222                                                             úÁÄÁÞÉ




  æÕÎËÃÉÑ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÉÓÈÏÄÎÏÊ ÓÈÅÍÙ ÚÁÄÁ¾ÔÓÑ ÆÏÒÍÕÌÏÊ:
                               xzy ∨ xyz.
ðÒÉ×ÅÄ¾Í ÔÅÐÅÒØ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÏÐÏÌÏÇÉÉ ÓÈÅÍÙ (ÚÄÅÓØ ÂÕÄÕÔ ÄÏÂÁ×ÌÑÔØÓÑ
É ÕÄÁÌÑÔØÓÑ ÎÅ ÔÏÌØËÏ ÐÒÏ×ÏÄÎÉËÉ, ÎÏ É ÒÅÌÅ):




   ðÅÒÅÓÅÞÅÎÉÅ ÐÒÏ×ÏÄÎÉËÏ×, ÎÅ ÏÔÍÅÞÅÎÎÏÅ ÖÉÒÎÏÊ ÔÏÞËÏÊ, ÏÚÎÁÞÁÅÔ ÉÈ
ÉÚÏÌÑÃÉÀ ÄÒÕÇ ÏÔ ÄÒÕÇÁ. éÚÏÂÒÁÚÉÍ ÏÓÔÁ×ÛÅÅÓÑ ÎÁ ÐÏÓÌÅÄÎÅÊ ÓÈÅÍÅ.




  óÏÓÔÁ×ÉÔØ ÓÈÅÍÙ, ÒÅÁÌÉÚÕÀÝÉÅ ÓÌÅÄÕÀÝÉÅ ÆÕÎËÃÉÉ:
294. x → y;      295. x ∼ y;   296. x ∨ ∨ y;   297. (x → y)(y → z);
298. (x → y) → x(y ∨ z);
  299.
                           x   y   z   f1   f2   f3
                           0   0   0   0    0    1
                           0   0   1   1    1    1
                           0   1   0   1    0    0
                           0   1   1   0    1    0
                           1   0   0   1    0    1
                           1   0   1   0    1    1
                           1   1   0   0    0    0
                           1   1   1   0    0    1

Страницы