Number of true entries in truth tables of bracketed formulas connected by modified implication (case 1).

A218184

Number of true entries in truth tables of bracketed formulas connected by modified implication (case 1).

Terms

    a(0) =0a(1) =0a(2) =1a(3) =2a(4) =13a(5) =70a(6) =418a(7) =2628a(8) =17053a(9) =113566a(10) =771638a(11) =5327804a(12) =37274482a(13) =263669500a(14) =1882630692a(15) =13550468360a(16) =98212733277a(17) =716195167502

External references