conjunctive normal form satisfiability - Alemán Inglés Diccionario