cnf compleet

test die nog toegevoegd moet worden is dat als p links, dan -p rechts in
disjunctie