8246856

Appears in sequences

• Number of true entries in truth tables of bracketed formulas connected by modified implication (case 3).at n=11A218183