Question:

If the Boolean expression (p∨q)∧(¬p∧q) is equivalent to p∧q, where ∨,∧∈{∧,∨}, then the order pair (∨,∧) is (∧,∨), (∨,∧), (∧,∧), (∨,∨)

(∧,∧)

(∧,∨)

(∨,∨)

(∨,∧)

(p∨q)∧(¬p∧q)≡p∧q (given)

pq ¬p p∨q ¬p∧q (p∨q)∧(¬p∧q) p∧q
T T F T F F F
T F F T F F F
F T T T T T F
F F T F F F F

From truth table (∨,∧)=(∧,∨).