Spełnialność formuł logicznych, program w c

Mam problem z napisaniem takiego programu. Nie wiem jak do tego się zabrać. Proszę o pomoc

http://img801.imageshack.us/img801/8634/skanowanie0001mj.jpg

http://pl.wikipedia.org/wiki/Problem_spełnialności
http://was.zaa.mimuw.edu.pl/?q=node/33
http://www.rafalnowak.pl/wiki/index.php?title=2SAT