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

UptoLike

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

x 2. sOWERENNYE NORMALXNYE FORMY. pRIMENENIE ALGEBRY WYSKAZYWANIJ K PEREKL@^ATELXNYM SHEMAM

   i, NAKONEC, SOSTAWIM SHEMU, KOTORAQ SOOTWETSTWUET POSTROENNOJ FORMULE (SM. RIS. III.6.).
                                       A        B         C

                                       A        B         :C



                                                     
                                       A        :B        C

                                       :A       B         C



                                      rIS. III.6.
   pOLU^ENNU@ W \TOM PRIMERE SHEMU MOVNO UPROSTITX, OSU]ESTWLQQ EE ANALIZ. rAWNOSILXNYMI
PREOBRAZOWANIQMI UPRO]AEM FORMULU:
   a = (A & B & C) _ (A & B & :C) _ (A & :B & C) _ (:A & B & C) 
    (A & B & (C _ :C)) _ ((A _ :A) & (A _ B) & (A _ C) &
   & (:B _ :A) & (:B _ B) & (:B _ C) & (C _:A) & (C _ B) & (C _ C)) 
    (A & B) _ (C & (A _ C) & (C _ B) & (C _ :A) & (C _ :B) & (A _ B) & (:B _:A)) 
    (A & B) _ (C & (A _ B) & (:A _ :B))  (A & B) _ (C & (A _ B) & :(A & B)) 
    ((A & B) _ C) & ((A & B) _ A _ B) & ((A & B) _ :(A & B))  ((A & B) _ C) & (A _ B)
   uPRO]ENNAQ SHEMA PRIWEDENA NA RIS. III.7.




                                                     
                                   A        B                  A

                                        C                      B


                                            rIS. III.7.
   2.7. nOWYE TERMINY. kON_@NKTIWNYJ (DIZ_@NKTIWNYJ) ODNO^LEN. nORMALXNAQ KON_-
@NKTIWNAQ (DIZ_@NKTIWNAQ) FORMA. sOWERENNYJ KON_@NKTIWNYJ (DIZ_@NKTIWNYJ) ODNO^LEN.
sOWERENNAQ NORMALXNAQ KON_@NKTIWNAQ (DIZ_@NKTIWNAQ) FORMA. dWUHPOL@SNOJ PEREKL@^A-
TELX. iNWERSNYJ K DANNOMU PEREKL@^ATELX. oPERACII POSLEDOWATELXNOGO I PARALLELXNOGO SO-
EDINENIQ PEREKL@^ATELEJ. aLGEBRA PEREKL@^ATELXNYH SHEM. aNALIZ I SINTEZ SHEM.
   2.8. kONTROLXNYE WOPROSY.
  1. iZWESTNO, ^TO FORMULA a = a(A B C) ISTINA W ODNOM EDINSTWENNOM SLU^AE: a(1 1 0) = 1.
     zAPIITE \TU FORMULU.
  2. iZWESTNO, ^TO FORMULA a = a(A B C) ISTINA W TO^NOSTI W DWUH SLU^AQH: a(0 1 0) =
     = a(0 0 0) = 1. zAPIITE \TU FORMULU.
  3. kAKIM SHEMAM SOOTWETSTWU@T RAWNOSILXNYE FORMULY?

                                                67