-1

I've got an equation down to $F=BA+BC +\bar{A}\bar{C}$ and according to Wolfram Alpha it can simplified to $(\bar{A} + \bar{C}) + B$. What's the next steps? I tried using de Morgan's law and not sure it helped.

Arthur
  • 199,419

1 Answers1

1

This is a derivation for the actual result:

$BA + BC + \bar{A}\bar{C} = (B(A+C))+\overline{A+C} = (B+\overline{A+C})((A+C)+\overline{A+C}) = \overline{A+C}+B$

I used:

  • Distributivity of "$\cdot$ over $+$" and DeMorgan (for "NOR")
  • Distributivity of "$+$ over $\cdot$"
  • $P + \bar{P} = 1$ and $P\cdot 1 = P$

and some Commutativity and Associativity.

Stefan Perko
  • 12,467
  • Is $\overline{A+C} $ the same as $\bar{A}+\bar{C}$? – leftandright Sep 14 '15 at 07:36
  • @leftandright No, it is not. You know the deMorgan laws, don't you? It's $\overline{A+C} = \bar{A}\bar{C}$ and $\overline{AC} = \bar{A}+\bar{C}$. Using an example: "It is not raining or snowing" (meaning there is no rain and there is no snow) has a different meaning than "It is not raining or it is not snowing." – Stefan Perko Sep 14 '15 at 07:40