Wednesday, 2 October 2013

Negation bar meaning?

Negation bar meaning?

I know that the horizontal bar on top means it's a negation. But I've
never encountered one over more than one term like this one:
$\overline{\bar{x} + \bar{y}x}(y + \overline{xy})$
Is that equivalent to:
($\neg{(\bar{x} + \bar{y}x))}(y + \overline{xy})$ (the 2 first terms are
negated then they are multiplied by the two last terms)
or
$\neg{\bar{x}} + (\neg{\bar{y}x)}(y + \overline{xy})$ (the first two terms
are negated, but only the second term is multiplied by the two last terms)
or just.. something else?
Thanks!

No comments:

Post a Comment