[[logika_dla_informatykow:skrypt:64]]
 
Ślad: » 10.zadanie11 » 11 » 10.zadanie15 » 10.zadanie16 » 68 » 74 » zadanie09.069 » zadanie09.097 » 10.zadanie12 » 64

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
 
logika_dla_informatykow/skrypt/64.txt · ostatnio zmienione: 2009/10/20 23:48 przez 89.74.132.23
 
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:MIT License
Recent changes RSS feed