For primitive statements p, q, r, and s, simplify the compound statement
[[[(p ˄ q) ˄ r] ˅ [(p ˄ q) ˄ ¬r]] ˅ ¬ q] → s.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.