If p, q are two propositions, then p∨p→q is
a tautology
a contradiction
a simple statement
none of these
It is De Morgan’s law.