Zadanie 11

Rozwiązanie sprowadza się do skorzystania ze skróconej metody zero-jedynkowej w sposób opisany w skrypcie. Jeśli udowodnimy, że formuła jest tautologią, oznaczamy ją jako A. W przeciwnym razie możemy w analogiczny sposób spróbować udowodnić, że jest sprzeczna - usiłując znaleźć wartościowanie spełniające. Jeśli się to nie uda, oznaczamy ją jako C. Jeśli natomiast znajdziemy takie wartościowania, oznaczamy ją przez B i podajemy je.

1. A
2. A
3. A
4. A
5. B, spełniona dla [p/\bot, q/\bot, r/\bot], niespełniona dla [p/\bot, q/\bot, r/\top]
6. A
7. B
8. B
9. B
10. B
11. A
12. A
13. A
14. B
15. B
16. A
17. A
18. B
19. B
20. A
21. A
22. A
23. B
24. A
25. B
26. A
27. B
28. A
29. A
30. A
31. B
32. B
33. B
34. A
35. A
36. A