Programación Específica > Matlab

 Horn clauses

(1/1)

Futurehead:
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

Navegación

[0] Índice de Mensajes