Logika - Zadanie 64.

  1. to-do
  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. ( p \vee q ) \wedge \neg p \Rightarrow q \equiv ( ( p \vee q ) \wedge \neg p ) \Rightarrow q \equiv \neg ( ( p \vee q ) \wedge \neg p ) \vee q \equiv ( ( \neg p \wedge \neg q ) \vee p ) \vee q \equiv ( ( p \vee \neg p ) \wedge ( p \vee \neg q ) ) \vee q \equiv ( p \vee \neg p \vee q ) \wedge ( p \vee \neg q \vee q ) tu trzeba skorzystać z rozdizelności alternatywy względem koniunkcji :)
  12. to-do
  13. to-do
  14. to-do
  15. to-do
  16. to-do
  17. to-do
  18. to-do
  19. to-do
  20. to-do
  21. to-do
  22. to-do
  23. to-do
  24. to-do
  25. to-do
  26. to-do
  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. to-do
  36. to-do