VOOZH about

URL: https://oeis.org/A256120/internal

⇱ A256120 - OEIS

login
Number of tautologies in propositional calculus of length n.
2