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".
A112650
Number of truth tables generated by (n-1)-CNF boolean expressions of n variables.
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.