Question

1. (P & Q) & R 2. (Av B) ? (C & D) 3. ~ (PvQ) 4. P 5. R ? P 6. Pv~Q 7. ~(~~S & P) 8. ((A ? B) & C) & D 9. (~Av B) & ~ (~PvQ) 10. (A ? B) v ( B ? P) 11. (P & ~~R) v ((Q & R) ? P) 12. ((P ? Q) ? (~PvQ)) & ((~PvQ) ? (P ? Q)) 13.~(~(Pv~Q) & (Pv~Q)) 14. ((P & (P ? Q)) & (Q ? R)) & (R ? ~P) 15. (PvP)?((~QvQ) ? ~ ((P & Q) v (~ P & ~Q)))

          1. (P & Q) & R
2. (Av B) ? (C & D)
3. ~ (PvQ)
4. ~~P
5. R ? P
6. ~~Pv~Q
7. ~(~~S & P)
8. ((A ? B) & C) & D
9. (~Av B) & ~ (~PvQ)
10. (A ? ~~B) v (~~ B ? P)
11. (P & ~~R) v ((Q & R) ? P)
12. ((P ? Q) ? (~PvQ)) & ((~PvQ) ? (P ? Q))
13.~(~(Pv~Q) & (Pv~Q))
14. ((P & (P ? Q)) & (Q ? R)) & (R ? ~P)
15. (PvP)?((~QvQ) ? ~ ((P & Q) v (~ P & ~Q)))

1. (P Q) R
2. (Av B) ? (C D)
3. (PvQ)
4.   P
5. R ? P
6.   Pv Q
7. (  S P)
8. ((A ? B) C) D
9. ( Av B) ( PvQ)
10. (A ?   B) v (   B ? P)
11. (P   R) v ((Q R) ? P)
12. ((P ? Q) ? ( PvQ)) (( PvQ) ? (P ? Q))
13. ( (Pv Q) (Pv Q))
14. ((P (P ? Q)) (Q ? R)) (R ? P)
15. (PvP)?(( QvQ) ? ((P Q) v ( P Q)))

Added by Ashley W.

Computer Science and Information Technology

Trishna Knowledge Systems 2018 Edition

Instant Answer

Solved by Expert James Kiss

12/28/2021

Step 1

Step 1: Use conjunction elimination on (P&Q)&R to get P&Q and R. Show more…

Show all steps

Thanks for your feedback!

1. (P&Q)&R 2. AvvB)harr(C&D) 3. ∼(PvvQ) 4. ∼∼P 5. R->∼P 6. ∼∼Pvv∼Q 7. ∼(∼∼S&P) 8. ((AharrB)&C)&D 9. (∼AvvB)&∼(∼PvvQ) 10. (Aharr∼B)vv(∼∼B->P) 11. (P&∼∼R)vv((Q&R)->P) 12. ((P->Q)->(∼PvvQ))&((∼PvvQ)->(P->Q)) 13. ∼(∼(Pvv∼Q)&(Pvv∼Q)) 14. ((P&(P->Q))&(Q->R))&(R->∼P) 15. (Pvv∼P)->((∼QvvQ)harr∼((P&Q)vv(∼P&∼Q))