====== Logika - Zadanie 57. ======

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

  - $\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 ) )$
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - $\neg ( ( p \vee q ) \wedge \neg p \Rightarrow q ) \equiv
( p \vee q ) \wedge \neg p \wedge \neg q$
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - $\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$
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - $\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$
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - to-do
  - $\neg ( ( p \Leftrightarrow q ) \wedge p \Rightarrow q ) \equiv
(p \Leftrightarrow q ) \wedge p \wedge \neg q$
  - to-do