Tautology and logical consequence

62 Views Asked by At

Given $$ L =\{p_1,...,p_6\} $$ how many equivalence classes of propositional terms $t$ are there such that $$ p_1 \lor \lnot p_1 \models t $$

I know that the first part is a tautology but can't wrap my head around the question / or around the understanding of the logic.

Any help / direction appreciated