Search results for: 'The following propositions are logically equivalent: p ⋁ t ≡ t'