Now is the time of year when we ask all users of the OEIS for their annual support.
Click here to donate
to the OEIS Foundation using PayPal or in other ways.
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