Cześć,
Pokazać, że dla każdej formuły \(\displaystyle{ \phi}\) w CNF istnieje \(\displaystyle{ \psi}\) w 3CNF która jest spełnialna wtw gdy \(\displaystyle{ \phi}\) jest spełnialne.
Nie mam pojęcia jak mam zacząć to rozwiązywać.
Możecie dać podpowiedź ?