horn

Betekenis horn

De betekenis van horn is: "disjuncte formule met hoogstens een niet-genegeerde literal
".

Defenitie horn

De definitie van horn is: "disjuncte formule met hoogstens een niet-genegeerde literal
".