Hallo uldvb,
da gibt es leider keine allgemeine Regel, grundsätzlich musst du bei solchen gemischten Termen aber die Formel so umwandeln, dass du nur negierte oder nicht negierte Literale hast.
In der Form, in der du die Funktion help(a,b,c) hingeschrieben hast, kann man sie nicht direkt in CMOS übertragen, du müsstest sie erst über die Anwedung verschiedener Regeln umformen.
Da gibt es leider auch keinen allgemeinen Algorithmus, häufig ist es das Auflösen und Umschreiben von irgendwelchen Klammern oder Ähnlichem, da hilft leider wirklich nur Übung.
Viele Grüße
You-Ri (Tutor)