Back to Proofs: conjunction and disjunction
Exercise 8 of 10
ProofDifficulty: ChallengingNot started
Task
(P ∧ Q) ∨ (P ∧ R) ∴ P ∧ (Q ∨ R)
Prove the conclusion from the premises. Use the basic rules only.
Work on it in the tool, then come back here and check your answer.