LOGIKA PRAVILA

ZAKONI ISTOVRIJEDNOSTI (EKVIVALENCIJE) 1. Neprotuslovlje; (P P) 2. Zakon dvostrukog nijeka; P P 3. Zakon svoenja pogodbe; P Q P Q 4. Zakon svoenja dvopogodbe; a) P Q (P Q) (Q P) b) P Q (P Q) ( P Q) 5. Zakon izmjenitosti (komutativnosti);a) za konjukciju: P Q Q P b)za ukljuenu disjunkciju: P Q Q P 6. Zakon udruivosti (asocijativnosti); a) za konjukciju: (P Q) R P (Q R) b) za ukljuivu disjunkciju: (P Q) R P (Q R) 7. Zakon raspodjeljivosti (distributivnosti); a) konjukcije prema ukljuenoj disjunkciji: P (Q R) (P Q) (P R) b) ukljune disjunkcije prema konjukciji; P (Q R) (P Q) (P R) 8. Zakon opetovanja (idempotentnosti); a)P P P b)P P P 9. De Morganovi zakoni a) (P Q) P Q b) (P Q) P Q

TRANSFORMACIJSKA PRAVILA 1) (A B) A B 2) (A B) A B 3) (A B) A B 4)A B ( A B) 5)A B ( A B) 6)A B (A B) 7)A B ( A B) 8)A B (A B) 9)A B A B 10)(A B) (A B) (B A)