En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada, con es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada, con es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
(es)