Benadering is dus volgens workshop; check in waarheidstabel welke valuaties de formule waar maken en combineer deze tot CNF