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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§4. òÅÌÅÊÎÏ-ËÏÎÔÁËÔÎÙÅ ÓÈÅÍÙ É ÓÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅÍÅÎÔÏ×221
ðÏÌÕÞÁÅÍ ÓÈÅÍÕ:
å¾ ÆÕÎËÃÉÑ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÚÁÄÁ¾ÔÓÑ ÆÏÒÍÕÌÏÊ
x
1
∨ x
2
∨ (x
1
∨ x
2
)x
3
≡ x
1
∨ x
2
∨ x
1
x
3
∨ x
2
x
3
≡ x
1
∨ x
2
∨ x
3
.
úÎÁÞÉÔ, ÂÏÌÅÅ ÐÒÏÓÔÁÑ ÓÈÅÍÁ ÉÍÅÅÔ ×ÉÄ:
úÁÍÅÞÁÎÉÅ. óÕÝÅÓÔ×ÕÀÔ ÓÈÅÍÙ, × ËÏÔÏÒÙÈ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÏÐÏÌÏÇÉÉ ÎÅ
ÐÒÉ×ÏÄÉÔ Ë ÎÕÖÎÏÍÕ ÒÅÚÕÌØÔÁÔÕ (ÉÌÉ ÔÁËÏÅ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÒÕÄÎÏ ÐÒÏ×Å-
ÓÔÉ). îÁÐÒÉÍÅÒ, ÒÁÓÓÍÏÔÒÉÍ ÓÈÅÍÕ:
áÎÁÌÉÚ ×ÓÅ×ÏÚÍÏÖÎÙÈ ÐÕÔÅÊ ÐÒÏÈÏÖÄÅÎÉÑ ÐÏ ÜÔÏÊ ÓÈÅÍÅ ÏÔ ÔÏÞËÉ 1 ÄÏ
ÔÏÞËÉ 2 ÐÏËÁÚÙ×ÁÅÔ, ÞÔÏ ÜË×É×ÁÌÅÎÔÎÁÑ ÓÈÅÍÁ ÉÍÅÅÔ ÓÌÅÄÕÀÝÉÊ ×ÉÄ:
§4. òÅÌÅÊÎÏ-ËÏÎÔÁËÔÎÙÅ ÓÈÅÍÙ É ÓÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅÍÅÎÔÏ×221




  ðÏÌÕÞÁÅÍ ÓÈÅÍÕ:




  å¾ ÆÕÎËÃÉÑ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÚÁÄÁ¾ÔÓÑ ÆÏÒÍÕÌÏÊ
        x1 ∨ x2 ∨ (x1 ∨ x2)x3 ≡ x1 ∨ x2 ∨ x1 x3 ∨ x2x3 ≡ x1 ∨ x2 ∨ x3 .
úÎÁÞÉÔ, ÂÏÌÅÅ ÐÒÏÓÔÁÑ ÓÈÅÍÁ ÉÍÅÅÔ ×ÉÄ:




  úÁÍÅÞÁÎÉÅ. óÕÝÅÓÔ×ÕÀÔ ÓÈÅÍÙ, × ËÏÔÏÒÙÈ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÏÐÏÌÏÇÉÉ ÎÅ
ÐÒÉ×ÏÄÉÔ Ë ÎÕÖÎÏÍÕ ÒÅÚÕÌØÔÁÔÕ (ÉÌÉ ÔÁËÏÅ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÅ ÔÒÕÄÎÏ ÐÒÏ×Å-
ÓÔÉ). îÁÐÒÉÍÅÒ, ÒÁÓÓÍÏÔÒÉÍ ÓÈÅÍÕ:




  áÎÁÌÉÚ ×ÓÅ×ÏÚÍÏÖÎÙÈ ÐÕÔÅÊ ÐÒÏÈÏÖÄÅÎÉÑ ÐÏ ÜÔÏÊ ÓÈÅÍÅ ÏÔ ÔÏÞËÉ 1 ÄÏ
ÔÏÞËÉ 2 ÐÏËÁÚÙ×ÁÅÔ, ÞÔÏ ÜË×É×ÁÌÅÎÔÎÁÑ ÓÈÅÍÁ ÉÍÅÅÔ ÓÌÅÄÕÀÝÉÊ ×ÉÄ:

Страницы