Екіжақтылық заңы
Құрамында тек қана конъюнкция, дизъюнкция және терістеу амалдары бар формулаларды қарастырамыз ( кез келген формула мәндес түрлендірулер арқылы осы түрге келтіріледі).
Анықтама. Конъюнкция ( )операциясы дизъюнкция ( ) операциясына қатысты екіжақты деп аталады.
Анықтама. F және F* формулалары бір-бірінен әрбір операцияны екіжақты операцияға алмастырғаннан шықса, онда олар екіжақты формулалар деп аталады.
Мысал: F=(X ) Z; F* =(X ) Z.
Мәндестік формулалардан (Де Морган заңдарынан ) келесі тұжырым оңай шығады:
(1) (X1,…,Xn) F*( 1,…, n).
Осы қатынастан екіжақтылық заң шығады:
Достарыңызбен бөлісу: |
