Nekaj pomembnih enakovrednosti v izjavnem raunu

Za vse izjavne izraze A, B, C velja: A0 A1 A0 A1 0 A A 1 A0 A1 0A 1A A 1 1 A A0 A1 A0 A1 A A A A

AA A AA A AA 1 AA 1 AB AB AB A B A B A B BA BA BA B A B A B A

idempotenca konjunkce idempotenca disjunkce A A 0 A A A A A A

komutativnost komutativnost komutativnost komutativnost komutativnost komutativnost

konjunkce disjunkce ekvivalence stroge disjunkce Sheerjevega veznika ukasiewiczevega veznika konjunkce disjunkce ekvivalence stroge disjunkce

A (B C ) A (B C ) A (B C ) A (B C )

(A B ) C (A B ) C (A B ) C (A B ) C

asociativnost asociativnost asociativnost asociativnost

A (A B ) A A (A B ) A

absorpca konjunkce glede na disjunkco absorpca disjunkce glede na konjunkco distributivnost konjunkce glede na distributivnost konjunkce glede na distributivnost disjunkce glede na

A (B C ) (A B ) (A C ) A (B C ) (A B ) (A C ) A (B C ) (A B ) (A C )

0 1 1 0 A A (A B ) A B (A B ) A B 1 zakon dvojne negace prvi De Morganov zakon drugi De Morganov zakon

A B B A zakon kontrapozice A B A B (A B ) A B AB AB AB (A B ) (A B ) (B A) (A B ) (A B ) (A B ) (A B ) A B A B

A B (A B ) A B (A B ) A B (A B )