Logic - Simplify a propositional logic expression

84 Views Asked by At

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.

1

There are 1 best solutions below

0
On BEST ANSWER

$$\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}$$