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

gLAWA   III.   aLGEBRA WYSKAZYWANIJ

   d) pREDPOLOVIM, ^TO DLQ FORMULY a(A
 B) = A  B IMEET MESTO:
                                       a(1
 0) = 1, a(0
 1) = 0.
   tOGDA IMEEM:
                                        A       B AB      :B
                                        1       1  0        0
                                        1       0  1        1
                                        0       1  0        0
                                        0       0  1        1
    |TA TABLICA ISTINNOSTI POKAZYWAET, ^TO: a(A
 B) = A  B  :B. |TO OZNA^AET, ^TO WSQKAQ
FORMULA IZ fg RAWNOSILXNA NEKOTOROJ FORMULE IZ f:g. a TAK KAK fg | P. S. S., TO I f:g |
P. S. S. pROTIWORE^IE. sLEDOWATELXNO, NEWOZMOVNO, ^TOBY a(1
 0) = 1, A a(0
 1) = 0.
    e) pUSTX a(1
 0) = 0, A a(0
 1) = 1.
    tOGDA IMEEM:
                                        A       B AB      :A
                                        1       1  0        0
                                        1       0  0        0
                                        0       1  1        1
                                        0       0  1        1
   |TO OZNA^AET, ^TO
                                       a(A
 B) = A  B  :A
   kAK I W SLU^AE d) POLU^AEM, ^TO      f:g | P. S. S., ^TO PROTIWORE^IT TEOREME 3.3.2. tAKIM
OBRAZOM, TAKVE NEWOZMOVNO, ^TOBY
                                      a(1
 0) = 0, A a(0
 1) = 1.
   f) tAKIM OBRAZOM, DLQ a(A
 B) = A  B OSTALOSX LIX DWE WOZMOVNYE, OPREDELQ@]IE SWQZKU ,
TABLICY ISTINNOSTI.
                                            A    B A 1 B
                                            1    1    0
                                            1    0    0
                                            0    1    0
                                            0    0    1
                                            A    B A 2 B
                                            1    1    0
                                            1    0    1
                                            0    1    1
                                            0    0    1
   nO \TO OZNA^AET, ^TO 1 = &, A 2 = _.
   3.6. nOWYE TERMINY. oSNOWNYE SWQZKI. pOLNYE SISTEMY SWQZOK (P. S. S.). oTRICANIE
KON_@NKCII & (TRIH {EFFERA). oTRICANIE DIZ_@NKCII _ (OPERACIQ pIRSA).
                                                  72