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