Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Andraschko, Bernhard"'
This paper introduces the XOR-OR-AND normal form (XNF) for logical formulas. It is a generalization of the well-known Conjunctive Normal Form (CNF) where literals are replaced by XORs of literals. As a first theoretic result, we show that every CNF f
Externí odkaz:
http://arxiv.org/abs/2311.00733