'''
   Aufgabe 1: CNF 
'''

#1.1: Teste, ob rules in cnf vorliegt
def is_cnf(rules):
    return True #Ersetzen!

#1.2 und 1.3: implementiere CNF-conversion
def cnf(rules):
    return rules #Ersetzen!