Is $((A\to B)\land (\lnot A \to C))\equiv (A\lor C)$?

64 Views Asked by At

I'm wondering whether $((A\to B)\land (\lnot A \to C)) \iff (A\lor C)$ is correct or not.

2

There are 2 best solutions below

0
On

Hint:

$\neg A \Rightarrow C$ is equivalent to $A\vee C$.

0
On

Hint: Consider the case $A:\text{true}$, $B:\text{false}$, $C:\text{any}$