1. |
~ q ~ q
|
|
2. |
p ( p p )
|
|
3. |
~(~ p p )
|
|
4. |
p ( p ~ p )
|
|
5. |
q ~ q
|
|
6. |
~ q ~(~ q q )
|
|
7. |
(~ q q ) (([~(~ q ~ q )]) q )
|
|
8. |
([~( p q )]) p
|
|
9. |
(( p p ) (~ p p )) (~(~ p p ))
|
|
10. |
((~ p ~ q ) ~( p ~ q )) (~( p q ))
|
|
11. |
~(~ p q )
|
|
12. |
(( q ~ p ) (~ p ~ q )) (~( p (~ q p )))
|
|
|
14. |
(~( p p )) (( p p ) ( p p ))
|
|
|
16. |
~(( p (~ p p )) (~(~ p p )))
|
|
17. |
(~(( p ~ p ) (~ p p ))) (~ p ~ p )
|
|
18. |
(~( p ~ q )) ( p ( p q ))
|
|
19. |
p q
|
|
20. |
(~ p ~ q ) (([~(~ p ~ q )]) p )
|
|
21. |
(( q p ) ( q p )) (( q ~ p ) q )
|
|
|
|
24. |
~(( p ~ p ) p )
|
|
|
26. |
(~( p (~ q p ))) (~ p ~ q )
|
|