The proposition p^(~p∪q) is _____________.
The proposition p^ (~p∪q) is logically equivalent to P∧ q.
Logical equivalenceis a type of relationship between two statements or sentences in propositional logic or Boolean algebra.