Simplifying a logic expression

55 Views Asked by At

$p \Rightarrow q$ is true

Which is the logic value of $(p \vee r) \Rightarrow (q \vee r)$ ?

I did at this point and I can not siplify it more:

$\neg (p \vee r) \vee (q \vee r)$

$(\neg p \wedge \neg r) \vee ( q \vee r)$

Could someone help me please and explain how should I simplify it?

1

There are 1 best solutions below

0
On BEST ANSWER

If truth value of $r$ is $T$, then $p\lor T\implies q\lor T\equiv (T\implies T)\equiv T$.

If truth value of $r$ is $F$, then $p\lor F\implies q\lor F\equiv (p\implies q)\equiv T$.