Blar i Department of Informatics på emneord "Neg"
Viser treff 1-1 av 1
-
Relative NAND-clause growth in Neg refutations
(Master thesis, 2022-01-18)Any given propositional discourse can be expressed as a NAND-OR theory – a set of OR-clauses (disjunctions of literals) and NAND-clauses (negated conjunctions e.g. ¬(x∧y)) – making NAND-OR theories similar to traditional ...