Дискретная математика. Кулабухов С.Ю. - 117 стр.

                                                                x 4. pREDWARENNAQ NORMALXNAQ FORMA

pRIMER 2. pRIWESTI K PREDWARENNOJ NORMALXNOJ FORME FORMULU
                                     :(8x 9y P (x
 y) ! 9x Q(x))
  rEENIE:
                   :(8x 9y P(x
 y) ! 9 Q(x))  :(:8x 9y P (x
 y) _ 9x Q(x)) 
                    ::8x 9y P(x
 y) & :9x Q(x)  8x 9y P (x
 y) & :9x Q(x)) 
                    8x 9y P(x
 y) & 8x :Q(x))  8x 9y P(x
 y) & 8z :Q(z)) 
                    8x 9y (P(x
 y) & 8z :Q(z))  8x 9y 8z (P(x
 y) & :Q(z)):
  4.3. nOWYE TERMINY. pRIWEDENNAQ FORMA. pREDWARENNAQ NORMALXNAQ FORMA.
  4.4. kONTROLXNYE WOPROSY.
  1. kAKIE IZ FORMUL QWLQ@TSQ PRIWEDENNYMI FORMAMI:
      (a) (P (x) ! 8x Q(x
 y)) _ A
     (b) 8x P (x) & :(A _ B)
      (c) 8x (:S(x
 y) _ 8y Q(x
 y))
     (d) 8x (:S(x
 y) _ :8y Q(x
 y)).
  2. kAKIE IZ FORMUL PREDYDU]EGO PRIMERA QWLQ@TSQ PREDWARENNYMI NORMALXNYMI FORMAMI?
  3. kAKIE IZ FORMUL QWLQ@TSQ PREDWARENNYMI NORMALXNYMI FORMAMI:
      (a) 8x 9y 9z (P (x
 y
 z) _9x (Qx
 y))
     (b) 8x 9y 9z 9t (P(x
 y
 z) _ 9x (Qx
 t))
      (c) 9x 8y 9z (:P (x
 y
 z) ! :9x (Qx
 y)).
  4.5. uPRAVNENIQ.
  1.   pRIWESTI K PREDWARENNOJ NORMALXNOJ FORME FORMULY WOPROSA 1 P. VI.4.4.
  2.   pRIWESTI K PREDWARENNOJ NORMALXNOJ FORME FORMULY WOPROSA 3 P. VI.4.4.
  3.   pROWEDITE PODROBNYE RASSUVDENIQ W DOKAZATELXSTWE ^ASTI 3) TEOREMY 4.2.1.
  4.   pRIWESTI K PREDWARENNOJ NORMALXNOJ FORME:
       (a) 8x (P (x) ! Q(x
 y)) ! (9y P (y) ! 9z Q(x
 y
 z))
       (b) 9x P (x
 y) ! (Q(x) ! :9y P(x
 z))




                                                 117