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 3).
A218185
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 3).
Terms
- a(0) =0a(1) =0a(2) =1a(3) =4a(4) =19a(5) =100a(6) =566a(7) =3384a(8) =21107a(9) =136084a(10) =900674a(11) =6087496a(12) =41850366a(13) =291766952a(14) =2057964492a(15) =14659421040a(16) =105305580483a(17) =761981900724
External references
- oeis: A218185