Disjunktionsterm

KLAUSEL