Logika - Zadanie 57.

Zaznaczam, że nie jestem pewien poprawności tych rozwiązań. Ewentualne potwierdzenie lub poprawki mile widziane.

1. \neg ( p \vee q \vee r \Rightarrow \neg p \Rightarrow ( q \vee r ) \wedge \neg p ) \equiv p \vee q \vee r \wedge \neg ( \neg p \Rightarrow ( q \vee r ) \wedge \neg p ) \equiv p \vee q \vee r \wedge ( \neg p \wedge \neg ( (q \vee r) \wedge \neg p ) ) \equiv p \vee q \vee r \wedge ( \neg p \wedge ( \neg ( q \vee r) \vee p ) ) \equiv p \vee q \vee r \wedge ( \neg p \wedge ( \neg q \wedge \neg r \vee p ) )
2. to-do
3. to-do
4. to-do
5. to-do
6. to-do
7. to-do
8. to-do
9. to-do
10. to-do
11. \neg ( ( p \vee q ) \wedge \neg p \Rightarrow q ) \equiv ( p \vee q ) \wedge \neg p \wedge \neg q
12. to-do
13. to-do
14. to-do
15. to-do
16. to-do
17. to-do
18. \neg ( (p \Rightarrow q) \wedge (q \Rightarrow p) \Rightarrow p \vee q) \equiv (p \Rightarrow q) \wedge (q \Rightarrow p) \wedge \neg( p \vee q) \equiv (p \Rightarrow q) \wedge (q \Rightarrow p) \wedge \neg p \wedge \neg q
19. to-do
20. to-do
21. to-do
22. to-do
23. to-do
24. to-do
25. to-do
26. \neg ( \neg ( p \Rightarrow q ) \wedge ( q \Rightarrow p ) \Rightarrow p \wedge \neg q ) \equiv \neg ( p \Rightarrow q ) \wedge ( q \Rightarrow p ) \wedge \neg p \vee q \equiv p \wedge \neg q \wedge ( q \Rightarrow p ) \wedge \neg p \vee q
27. to-do
28. to-do
29. to-do
30. to-do
31. to-do
32. to-do
33. to-do
34. to-do
35. \neg ( ( p \Leftrightarrow q ) \wedge p \Rightarrow q ) \equiv (p \Leftrightarrow q ) \wedge p \wedge \neg q
36. to-do