Resumen

NEG (C(Pj) = -C(Pj)

CONJ (C(L1),...,C(Lk) = MIN{C(L1),...,C(Lk)}

DISYI (C(L1),...,C(Lk) = MAX{C(L1),...,C(Lk)}

DISYX(C(L1),...,C(Lk))=MIN{|C(L1)|,...,|C(Lk)| }

DISYE(C(L1),...,C(Lk))=MIN{|C(L1)|,...,|C(Lk)| }

Análisis de la negación de los conectivos

Si la expresión se inclumple se requiere el análisis de su negación y para ello se tiene lo siguiente:

-CONJ(C(L1),...,C(Lk)) = DISYI (-C(L1),...,-C(Lk))

-DISYI(C(L1),...,C(Lk))=CONJ(-C(L1),...,-C(Lk))

-DISYX = MAX { {C(Ll), ..., C(Ln)}/C(Lmax) }
donde Lmax es el literal de mayor peso entre los involucrados en la expresión.