Number of affirmative formulas with two connectives (-> and *) and no variables.

A233396

Number of affirmative formulas with two connectives (-> and *) and no variables.

Terms

    a(0) =0a(1) =2a(2) =6a(3) =34a(4) =186a(5) =1134a(6) =7134a(7) =46554a(8) =310962a(9) =2118502a(10) =14657478a(11) =102724802a(12) =727695402a(13) =5202222302a(14) =37483252398a(15) =271925724906

External references