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 | syntax | info | download | home Last Modified : 01-Feb-2010