====== Logika - Zadanie 64. ======


  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - $ ( 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 :)     
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do