Forma normal conjuntiva (CNF)
La forma normal conjuntiva (CNF) es una fórmula lógica booleana en la que todas las cláusulas están unidas por ANDs, y todos los literales dentro de una cláusula están unidos por ORs. Un literal es una proposición atómica que se niega o no. Por ejemplo, la fórmula (A ∧ B) ∨ (¬C ∧ D) está … Leer más