sgu 307

Здравствуйте!

http://acm.sgu.ru/problem.php?contest=0&problem=307

Задача похожа на 2-SAT, но вот не могу представить зависимость в 2-cnf форме.... То есть как бы СКНФ и СДНФ я выписал, но вот потом привести чего то так и не смог.... Либо очень долго и много выражений получается. Вообще есть алгоритм приведения к 2-cnf форме?