====== JFiZO - Zadanie 09.110 ======
  * a) gdzies kiedys juz bylo. $\overline a \vee \overline b \vee \overline c \vee d$ zamieniamy na $a \wedge b \wedge c \Rightarrow d$.