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

Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'Europe/Berlin' for 'CEST/2.0/DST' instead in /www/html/membres/michel.levy/prover/footer.inc on line 13 Last Modified : 21-Oct-2009