- Conjunction is idempotent
- Conjunction is commutative
- Conjunction is associative
- Disjunction is idempotent
- Disjunction is commutative
- Disjunction is associative
- Conjunction is left distributive over disjunction
- Conjunction is right distributive over disjunction
- Disjunction is left distributive over conjunction
- Disjunction is right distributive over conjunction