I. Конъюнкция мен дизъюнкцияның қасиеттері

2.1. Идемпотентті заңы

|= Р Λ Р  Р, Р V Р  Р

2.2. Қысқарту заңы

|= (Р Λ Q) → Р; Р → (Р → Q)

2.3. Коммутативті заңдар

|= Р Λ Q  Q Λ Р; Р V Q  Q V Р

2.4. Ассоциативті заңдар:

|= (Р V Q) V R  Р V (Q V R);

2.5. Дистрибутивті заңдар:

Р Λ (Q V Р)  (Р Λ Q) V (Р Λ R)

Р V (Q Λ Р)  (Р V Q) Λ (Р V R)

2.6. Жұтып қою заңдары:

Р Λ (Р V Q)  Р; Р V (Р Λ Q)  Р

2.7. Де Морган заңдары:

|= Р Λ Q  Р V Q; Р V Q  Р Λ Q

3.1. (Р → (Q → Р)) → ((Р → Q) → (Р → R))

3.2. Р → (Q → (Р Λ Q))

3.3. (Р → R) → ((Q → R) → ((Р V Q) → R))

3.4. (Р → Q) → ((Р → Q) → R

3.5. (Q Λ (Р → Q)) → Р

3.6. (Р Λ (Р V Q)) → Q

3.7. (Р → Q) → ((Р V R) → (Q V R))

3.8. (Р → Q) → ((Р Λ R) → (Q Λ R))

3.9. (Р → Q) → ((Q → R) → (Р → R))

3.10. (Р → Q) V (Q → Р)

3.11. (Q → Р) → ((Q → Р) → Q)

3.12. ((Р → Q) Λ (R → Q))  ((Р V R) → Q

3.13. (((Р → Q) Λ (Р → R))  (Р → (Q Λ R))

3.14. Р  Р

3.15. (Р  Q)  (Q  Р)

3.16. ((Р  Q) Λ (Q  R)) → (Р  R)