2 Негізгі мәндестік формулалар (буль алгебрасының заңдары)
A, B, C – буль функциялары болсын.
Теорема: A, B, C – буль функциялары үшін келесі мәндестіктер тура болады:
Коммутативті: ;
Ассоциативті: ;
Дистрибутивті: ;
Де Морган заңдары: ;
Екі рет терістеу заңы (инволюция):
Жұтып қою заңы: ;
Идемпотентті заңы: ;
Үшіншіні жоққа шығару заңы: ;
Қарама- қайшылық заңы: ;
Негізгі мәндестіктер арқылы берлген формуланы түрлендіріп, ықшамдауға болады.
Формулаларды ықшамдаған кезде (яғни логикалық көбейту) ең күшті операция болып есептеледі, одан кейін (яғни, логикалық қосынды) болады, ал келесі ретте орындалады.
Достарыңызбен бөлісу: |