Number of rows with the value "true" in the Kleene truth tables of all bracketed formulae with n distinct propositions p1, ..., pn connected by the binary connective of implication.
A345190
Number of rows with the value "true" 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) =5a(2) =30a(3) =229a(4) =1938a(5) =17530a(6) =165852a(7) =1621133a(8) =16242474a(9) =165923854a(10) =1721675460a(11) =18095802306a(12) =192256162740
External references
- oeis: A345190