Examples

  1. p => (q=>p)

  2. p + -p

  3. p => --p

  4. --p => p

  5. p.(p =>q) => q

  6. (p=>q)+(q=>p)

  7. (p => q)=>(-q => -p)

  8. (-q=>-p)=> (p => q)

  9. -p.-q => -(p+q)

  10. -(p+q)=>-p.-q

  11. -p+-q =>-(p.q)

  12. -(p.q)=>-p+-q

examples | rules | syntax | info | home| download| basis of the method (in french) Last Modified : 19-Jan-2018