-1

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.

atom
  • 1
  • 3
    Welcome to Math.SE. We really appreciate it if the post shows some effort and work. And, it sounds like you did do some work. So, can you please add that to your post, no matter how wrong or incomplete that may be? That'll help us focus our feedback. – Bram28 Dec 06 '19 at 17:18

1 Answers1

0

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

Stokolos Ilya
  • 3,371