Question

donde y cuando se utiliza una literal ..(.algebra)

Answer 1

Un literales una formula atómica o su negación. La definición del concepto se allá sobre todo en la teoría de la demostración perteneciente al campo de la lógica clásica, como en forma normal conjuntiva y en el método de resolución
 Espero a verte ayudado