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

UptoLike

ВУЗ: 

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

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

Рубрика: 

220 úÁÄÁÞÉ
÷ÙÐÉÛÅÍ É ÕÐÒÏÓÔÉÍ óäîæ ÆÕÎËÃÉÉ f:
f ≡ C
1
C
2
M
1
M
2
∨ C
1
C
2
M
1
M
2
∨ C
1
C
2
M
1
M
2
∨ C
1
C
2
M
1
M
2
≡
≡ C
1
C
2
M
2
∨ C
2
M
2
M
1
∨ C
1
C
2
M
2
∨ C
2
M
2
M
1
≡
≡
C
2
M
2
∨ C
2
M
2
C
1
M
1
∨ C
1
M
1
.
óÈÅÍÁ ÉÍÅÅÔ ×ÉÄ:
Á)
ÉÌÉ
Â)
óÈÅÍÁ Á) ÐÒÅÄÐÏÞÔÉÔÅÌØÎÅÊ ÓÈÅÍÙ Â).
4.2. áÎÁÌÉÚ ÓÈÅÍ
ðÒÉÍÅÒ 11. îÁÊÔÉ ÆÕÎËÃÉÀ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÓÈÅÍÙ
òÅÛÅÎÉÅ. ðÒÉ ÒÅÛÅÎÉÉ ÚÁÄÁÞ ÔÁËÏÇÏ ÔÉÐÁ ÓÌÅÄÕÅÔ ÐÏÍÎÉÔØ, ÞÔÏ ÐÏÓÌÅ-
ÄÏ×ÁÔÅÌØÎÏÅ ÓÏÅÄÉÎÅÎÉÅ ÒÅÌÅ ÓÏÏÔ×ÅÔÓÔ×ÕÅÔ ËÏÎßÀÎËÃÉÉ, Á ÐÁÒÁÌÌÅÌØÎÏÅ ¡
ÄÉÚßÀÎËÃÉÉ. ðÏÌÅÚÎÙÍ Ñ×ÌÑÅÔÓÑ ÕÍÅÎÉÅ ÐÒÅÏÂÒÁÚÏ×ÁÔØ ÔÏÐÏÌÏÇÉÀ ÓÈÅÍÙ
ÔÁË, ÞÔÏÂÙ Ñ×ÎÏ ÂÙÌÉ ×ÉÄÎÙ ÐÏÓÌÅÄÏ×ÁÔÅÌØÎÙÅ É ÐÁÒÁÌÌÅÌØÎÙÅ ÕÞÁÓÔËÉ
ÓÈÅÍÙ. ðÒÅÏÂÒÁÚÕÅÍ ÔÏÐÏÌÏÇÉÀ ÓÈÅÍÙ (ÄÏÂÁ×ÌÅÎÎÙÅ ÕÞÁÓÔËÉ ÏÂÏÚÎÁÞÅÎÙ
ÐÕÎËÔÉÒÏÍ, ÕÄÁÌÑÅÍÙÅ ÕÞÁÓÔËÉ ÐÏÍÅÞÅÎÙ ¤×¥):
220                                                                   úÁÄÁÞÉ

  ÷ÙÐÉÛÅÍ É ÕÐÒÏÓÔÉÍ óäîæ ÆÕÎËÃÉÉ f :
 f ≡ C 1 C 2 M 1M 2 ∨ C 1C2 M 1M2 ∨ C1C 2M1 M 2 ∨ C1C2M1 M2 ≡
                                                           
              ≡ C 1 C 2 M 2 ∨ C2 M2 M 1 ∨ C1 C 2 M 2 ∨ C2 M2 M1 ≡
                                                                         
                                         ≡ C 2 M 2 ∨ C2 M2 C 1 M 1 ∨ C1 M1 .
  óÈÅÍÁ ÉÍÅÅÔ ×ÉÄ:
  Á)




  ÉÌÉ
  Â)




  óÈÅÍÁ Á) ÐÒÅÄÐÏÞÔÉÔÅÌØÎÅÊ ÓÈÅÍÙ Â).

4.2. áÎÁÌÉÚ ÓÈÅÍ

  ðÒÉÍÅÒ 11. îÁÊÔÉ ÆÕÎËÃÉÀ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÓÈÅÍÙ




   òÅÛÅÎÉÅ. ðÒÉ ÒÅÛÅÎÉÉ ÚÁÄÁÞ ÔÁËÏÇÏ ÔÉÐÁ ÓÌÅÄÕÅÔ ÐÏÍÎÉÔØ, ÞÔÏ ÐÏÓÌÅ-
ÄÏ×ÁÔÅÌØÎÏÅ ÓÏÅÄÉÎÅÎÉÅ ÒÅÌÅ ÓÏÏÔ×ÅÔÓÔ×ÕÅÔ ËÏÎßÀÎËÃÉÉ, Á ÐÁÒÁÌÌÅÌØÎÏÅ ¡
ÄÉÚßÀÎËÃÉÉ. ðÏÌÅÚÎÙÍ Ñ×ÌÑÅÔÓÑ ÕÍÅÎÉÅ ÐÒÅÏÂÒÁÚÏ×ÁÔØ ÔÏÐÏÌÏÇÉÀ ÓÈÅÍÙ
ÔÁË, ÞÔÏÂÙ Ñ×ÎÏ ÂÙÌÉ ×ÉÄÎÙ ÐÏÓÌÅÄÏ×ÁÔÅÌØÎÙÅ É ÐÁÒÁÌÌÅÌØÎÙÅ ÕÞÁÓÔËÉ
ÓÈÅÍÙ. ðÒÅÏÂÒÁÚÕÅÍ ÔÏÐÏÌÏÇÉÀ ÓÈÅÍÙ (ÄÏÂÁ×ÌÅÎÎÙÅ ÕÞÁÓÔËÉ ÏÂÏÚÎÁÞÅÎÙ
ÐÕÎËÔÉÒÏÍ, ÕÄÁÌÑÅÍÙÅ ÕÞÁÓÔËÉ ÐÏÍÅÞÅÎÙ ¤×¥):

Страницы