Annual Appeal: Please make a donation (tax deductible in USA) to keep the OEIS running. Over 5000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".
Conjunctive Normal Form (CNF) is a conjunction of disjunctions. k-CNF limits each disjunctive clause to k variables and their complements.
Table of n, a(n) for n=2..5.
C. B. Barber, ttcnf 2005.1 (April 2005).
C. B. Barber, www.qhull.org/ttcnf.
E.g. The 1-CNF expressions of 2 variables are: a, -a, b, -b, a and b, a and -b, -a and b, -a and -b, a and -a, true. Their truth tables are: 0xC, 0x3, 0xA, 0x5, 0x8, 0x4, 0x2, 0x1, 0x0, 0xF.
Cf. A109457, A112535.
Sequence in context: A272499 A054688 A229228 * A006295 A006297 A099711
Adjacent sequences: A112647 A112648 A112649 * A112651 A112652 A112653
Brad Barber (bradb(AT)shore.net), Dec 27 2005