Blar i Master theses på forfatter "van den Broeck, Wim"
-
Relative NAND-clause growth in Neg refutations
van den Broeck, Wim (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 ...