Annual Appeal: Please make a donation (tax deductible in USA) to keep the OEIS running. Over 4500 articles have referenced us, often saying "we would not have discovered this result without 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: A064747 A054688 A229228 * A006295 A006297 A099711
Adjacent sequences: A112647 A112648 A112649 * A112651 A112652 A112653
Brad Barber (bradb(AT)shore.net), Dec 27 2005