1. p & q => q & p
2. p & (q & r) <=> (p & q) & r
3. p + q => q + p
4. p + (q + r) <=> (p + q) + r
5. p & (q + r) <=> (p & q) + (p & r)
6. p + (q & r) <=> (p + q) & (p + r)
7. (p => q) & (q => r) => (p => r)
8. (p & q => r) <=> (p => (q => r))
9. (p + q => r) <=> (p => r) & (q => r)
10. p <=> - - p
11. (p => q) <=> (- q => - p)
12. - (p + q) <=> - p & - q
13. - (p & q) <=> - p + - q
14. - (p => q) <=> p & - q
15. (p <=> q) <=> (-p <=> -q)
16. (p => q) <=> (-p + q)

examples | rules | formulas syntax | proofs definition | info | download | home

Last Modified : 23-Feb-2023