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

UptoLike

ВУЗ: 

ИСОиП ДГТУ | Шахты

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

Рубрика: 

                                                    x 1. pOSTROENIE ALGEBRY WYSKAZYWANIJ


                 tABL. 1: oSNOWNYE LOGI^ESKIE SWQZKI.


               sWQZKI                        oBOZNA^ENIQ    nAZWANIE SOOT-
                                                            WETSTWU@]IH
                                                              OPERACIJ
NET NE NEWERNO : : :                         :( )       OTRICANIE
I A NO : : :                                 & (^)      KON_@NKCIQ
ILI LIBO : : :                                _          DIZ_@NKCIQ
SLEDUET WLE^ET ESLI : : :, TO : : :          !          IMPLIKACIQ
TOGDA WYTEKAET : : :
\KWIWALENTNO RAWNOSILXNO ESLI I                ($)      \KWIWALENCIQ
TOLXKO ESLI TOGDA I TOLXKO TOGDA
W TOM I TOLXKO W TOM SLU^AE : : :

                        tABL. 2: lOGI^ESKAQ SWQZKA :.
                              A                :A
                              1                0

                              0                1




                        tABL. 3: lOGI^ESKAQ SWQZKA &.
                    A              B                A B
                                                     &

                    1              1                  1

                    1              0                  0

                    0              1                  0

                    0              0                  0




                        tABL. 4: lOGI^ESKAQ SWQZKA _.
                    A              B                A_B
                    1               1                 1

                    1               0                 1

                    0               1                 1

                    0               0                 0




                        tABL. 5: lOGI^ESKAQ SWQZKA !.
                   A               B                A!B
                    1              1                  1

                    1              0                  0

                    0              1                  1

                    0              0                  1




                                        57

Страницы