Number of tautologies in propositional calculus of length n.

A256120

Number of tautologies in propositional calculus of length n.

Terms

    a(0) =0a(1) =0a(2) =0a(3) =0a(4) =2a(5) =2a(6) =12a(7) =6a(8) =57a(9) =88a(10) =373a(11) =554a(12) =2198a(13) =5413a(14) =20397

External references