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.