Necesito hacer un pequeño programa en matlab que reconozca si una fórmula es de Horn o no.
Por ejemplo, introduzco el siguiente string F = '(x1 o -x2) y (x2 o -x1 o -x4) y (-x4 o -x3 o -x1)' y me dice si es una fórmula de Horn. Es decir, que todas sus cláusulas sean de Horn. Se supone que la fórmula está en CNF
