Examples

  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