any help on simplifying the following propositional expression?
¬[¬( ∧ ) ∨ (¬ ∧ )] ∧ ( ∨ )
I have done some progress but the exercise demands only one logical operator left at the end.
any help on simplifying the following propositional expression?
¬[¬( ∧ ) ∨ (¬ ∧ )] ∧ ( ∨ )
I have done some progress but the exercise demands only one logical operator left at the end.
$$\begin{align}\lnot[\lnot(p \land r) \lor (\lnot p \land q)] \land (p \lor r) &=[(p\land r) \land \lnot(\lnot p \land q)] \land (p \lor r) \\ & = [(p\land r) \land ( p \lor \lnot q)] \land (p \lor r) \\ & = [p \land r] \land (p \lor r) \\ & = p \land r \end{align}$$