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| basis of the method (in french)

Last Modified : 03-May-2011