1

Can someone explain me why $ AB \vee A \bar B C = AB \vee AC\\$ ?

How do we get rid of $ \bar B \\$?

bvl
  • 55
  • 1
  • 1
  • 5

1 Answers1

2

We have

\begin{align} AB \lor A\bar{B}C &= A(B \lor\bar{B}C) \end{align}

Also, $B \lor \bar{B}C$ is equal to $B \lor C$ since if $B$ is true, both expression is evaluated to be true and if $B$ is false, we then have to take the value of $C$.

Siong Thye Goh
  • 149,520
  • 20
  • 88
  • 149