idempotency of disjunction
one of the two "tautology" rule of inference
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous