Number of rows with the value true in the truth tables of all bracketed formulas with n distinct propositions p_1, ..., p_n connected by the binary connective of m-implication (case 1).
A218186
Number of rows with the value true in the truth tables of all bracketed formulas with n distinct propositions p_1, ..., p_n connected by the binary connective of m-implication (case 1).
Terms
- a(0) =0a(1) =0a(2) =1a(3) =6a(4) =37a(5) =234a(6) =1514a(7) =9996a(8) =67181a(9) =458562a(10) =3172478a(11) =22206420a(12) =157027938a(13) =1120292388a(14) =8055001716a(15) =58314533400a(16) =424740506109
External references
- oeis: A218186