Zeal DM test-5

Question

Is the simplification that I have encircled, done right? because according to negation law (r ∨ ¬ r) ≡  T.

Comments

Distributive law has been used here

Answer 1

$\text{This is $\textbf{Distributive Property}$}:$

         ${P\wedge (Q \vee R )}  \Leftrightarrow  (P \wedge Q) \vee (P \wedge R)$

        ${P\vee (Q \wedge R )}  \Leftrightarrow  (P \vee Q) \wedge (P \vee R)$

 

$\textbf{Good Read}:$ Distributive property.

Comments

right! i could not see it immediately.