Wie sieht die entsprechenden Klauselmenge zur Formel $F = (L_{1,1}\vee ...\vee L_{1,n_1})\wedge(L_{2,1}\vee ...\vee L_{2,n_2})\wedge ... \wedge (L_{m,1}\vee ... \vee L_{m,n_m})$ aus?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.