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 | syntax | info | download | home

Last Modified : 27-Feb-2023