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

sODERVANIE

             pOSTROENIE FORMUL PO ZADANNYM TABLICAM ISTINNOSTI. : : : : : : : : : : : :
          2.1.                                                                                                                     63
             nORMALXNYE FORMY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
          2.2.                                                                                                                     64
             sOWERENNYE NORMALXNYE FORMY. : : : : : : : : : : : : : : : : : : : : : : : : :
          2.3.                                                                                                                     64
             pREDSTAWLENIE FORMUL ALGEBRY WYSKAZYWANIJ SOWERENNYMI NORMALXNYMI
          2.4.
             FORMAMI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                              65
        2.5. lOGI^ESKIE OPERACII NAD DWUHPOL@SNYMI PEREKL@^ATELQMI. : : : : : : : : :                                              65
        2.6. zADA^I SINTEZA I ANALIZA PEREKL@^ATELXNYH SHEM. : : : : : : : : : : : : : : :                                         66
        2.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                67
        2.8. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                  67
        2.9. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                               68
   x 3. pOLNYE SISTEMY SWQZOK : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                69
        3.1. oPREDELENIE POLNOJ SISTEMY SWQZOK. : : : : : : : : : : : : : : : : : : : : : : : :                                    69
        3.2. sWOJSTWA POLNYH SISTEM SWQZOK. : : : : : : : : : : : : : : : : : : : : : : : : : :                                    69
        3.3. oPISANIE POLNYH SISTEM SWQZOK IZ . : : : : : : : : : : : : : : : : : : : : : : :                                     70
        3.4. oDNO\LEMENTNYE POLNYE SISTEMY SWQZOK. : : : : : : : : : : : : : : : : : : : : :                                       70
        3.5. iSKL@^ITELXNOSTX SWQZOK & I _. : : : : : : : : : : : : : : : : : : : : : : : : : :                                    71
        3.6. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                72
        3.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                  73
        3.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                               73
gLAWA IV bULEWY FUNKCII :: :: :: :: ::: :: :: :: ::: : : :: :: :: ::: :: :: :: ::: : : : : :: :: ::: :: :: :: ::: : 74
   x 1. bULEWY FUNKCII. rEALIZACIQ BULEWYH FUNKCIJ FORMULAMI : : : : : : : : : : : : :                                             74
        1.1. oPREDELENIE I PRIMERY BULEWYH FUNKCIJ. : : : : : : : : : : : : : : : : : : : :                                        74
        1.2. sU]ESTWENNYE I NESU]ESTWENNYE PEREMENNYE. : : : : : : : : : : : : : : : : : :                                         75
        1.3. rEALIZACIQ BULEWYH FUNKCIJ FORMULAMI. : : : : : : : : : : : : : : : : : : : : :                                       75
        1.4. rAWNOSILXNYE FORMULY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                   76
        1.5. pODSTANOWKA I ZAMENA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                 77
        1.6. pRINCIP DWOJSTWENNOSTI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                   78
        1.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                  78
        1.8. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                    78
        1.9. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                 79
   x 2. pOLNYE KLASSY BULEWYH FUNKCIJ : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                    80
        2.1. wYRAVENIE BULEWYH FUNKCIJ ^EREZ OTRICANIE, KON_@NKCI@ I DIZ_@NKCI@.                                                   80
        2.2. nORMALXNYE FORMY BULEWYH FUNKCIJ. : : : : : : : : : : : : : : : : : : : : : : :                                       81
        2.3. zAMKNUTYE I SOBSTWENNYE KLASSY BULEWYH FUNKCIJ. : : : : : : : : : : : : : :                                           81
        2.4. pOLNYE KLASSY BULEWYH FUNKCIJ. : : : : : : : : : : : : : : : : : : : : : : : : :                                      83
        2.5. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                85
        2.6. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                    85
        2.7. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                 85
gLAWA V iS^ISLENIE WYSKAZYWANIJ ::: : : :: :: ::: :: : : :: :: ::: :: : : :: ::: :: :: : : : : ::: :: :: : : : 86
   x 1. qZYK I AKSIOMY IS^ISLENIQ WYSKAZYWANIJ. tEOREMA DEDUKCII : :                       :   :   :   :   :   :   :   :   :   :   86
        1.1. fORMALXNYE I SODERVATELXNYE AKSIOMATI^ESKIE TEORII. : :                       :   :   :   :   :   :   :   :   :   :   86
        1.2. pRINCIP POSTROENIQ FORMALXNYH AKSIOMATI^ESKIH TEORIJ.                         :   :   :   :   :   :   :   :   :   :   86
        1.3. wYWODIMOSTX IZ MNOVESTWA FORMUL. : : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   87
        1.4. qZYK iw. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :          :   :   :   :   :   :   :   :   :   :   87
        1.5. aKSIOMY I PRAWILA WYWODA iw. : : : : : : : : : : : : : : : : :                :   :   :   :   :   :   :   :   :   :   88
        1.6. pRIMER WYWODIMOSTI W iw. : : : : : : : : : : : : : : : : : : :                :   :   :   :   :   :   :   :   :   :   88
        1.7. tEOREMA DEDUKCII. : : : : : : : : : : : : : : : : : : : : : : : :             :   :   :   :   :   :   :   :   :   :   88
        1.8. sLEDSTWIQ IZ TEOREMY DEDUKCII. : : : : : : : : : : : : : : : :                :   :   :   :   :   :   :   :   :   :   89
        1.9. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : :            :   :   :   :   :   :   :   :   :   :   90
        1.10. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : :             :   :   :   :   :   :   :   :   :   :   90
        1.11. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : :          :   :   :   :   :   :   :   :   :   :   90
   x 2. tEOREMA O WYWODIMOSTI : : : : : : : : : : : : : : : : : : : : : : : : :            :   :   :   :   :   :   :   :   :   :   91
        2.1. zAKON DWOJNOGO OTRICANIQ. : : : : : : : : : : : : : : : : : : :               :   :   :   :   :   :   :   :   :   :   91
        2.2. zAKON PROTIWORE^IWOJ POSYLKI. : : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   91

                                                         4