2-CNFS and LogicalEmbeddings

摘要

The expressive power of 2-cnfs, conjunctive normal forms with two literalsper clause, is shown to be severely limited compared to 3-cnfs.