Number of well-formed formulas of length n in a formal propositional language with one unitary operator, one binary operator, and one propositional variable.
A308616
Number of well-formed formulas of length n in a formal propositional language with one unitary operator, one binary operator, and one propositional variable.
Terms
- a(0) =1a(1) =0a(2) =0a(3) =1a(4) =1a(5) =0a(6) =1a(7) =3a(8) =2a(9) =1a(10) =6a(11) =10a(12) =6a(13) =10a(14) =30a(15) =36a(16) =29a(17) =70a(18) =141a(19) =147a(20) =182a(21) =421a(22) =658a(23) =714a(24) =1183a(25) =2346a(26) =3192a(27) =4027a(28) =7404a(29) =12672
External references
- oeis: A308616