Is the following logic distribution correct?

35 Views Asked by At

Did I do the following distribution correctly?:

(p Λ ~q) V (q Λ ~r) <=> (p V q) Λ (p V ~r) Λ (~q Λ q) Λ (~q Λ ~r)
                    <=> (p V q) Λ (p V ~r) Λ FALSE Λ (~q Λ ~r)
                    <=> FALSE 
1

There are 1 best solutions below

0
On
(p Λ ~q) V (q Λ ~r) <=> (p V q) Λ (p V ~r) Λ (~q V q) Λ (~q V ~r)
                    <=> (p V q) Λ (p V ~r) Λ TRUE Λ (~q V ~r)
                    <=> (p V q) Λ (p V ~r) Λ (~q V ~r)