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

A233130

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

Terms

    a(0) =1a(1) =0a(2) =2a(3) =6a(4) =38a(5) =210a(6) =1314a(7) =8358a(8) =55118a(9) =370842a(10) =2541626a(11) =17668926a(12) =124321750a(13) =883614498a(14) =6334772562a(15) =45754956054a(16) =332639032734

External references