Number of rows with the value "false" in the Kleene truth tables of all bracketed formulae with n distinct propositions p1, ..., pn connected by the binary connective of implication.
A345189
Number of rows with the value "false" in the Kleene truth tables of all bracketed formulae with n distinct propositions p1, ..., pn connected by the binary connective of implication.
Terms
- a(0) =1a(1) =1a(2) =6a(3) =41a(4) =330a(5) =2882a(6) =26604a(7) =255313a(8) =2521986a(9) =25473638a(10) =261898548a(11) =2731724778a(12) =28836047844a(13) =307477681188
External references
- oeis: A345189