Metadata
Author: Literature
Data
English[en]
For example, the definite clause (¬L1,1 ∨ ¬Breeze ∨ B1,1 ) can be written as the implication (L1,1 ∧ Breeze) ⇒ B1,1 .
Spanish[es]
Por ejemplo, la cláusula de Horn (¬L1,1 ∨ ¬Brisa ∨ B1,1) se puede rescribir como la implicación (L1,1 ∧ Brisa) ⇒ B1,1.