3/23 (x+y)(!x+z) = xz+(!x)y muhahah
\_If implemented with logic gates, they actually are not the same.
Statically yes but dynamically no. Do you know why? (Hint: hazards)
\_ What is ! in this context?
\_ supposedly this statement can be proved w/o using truth
tables. ! is not. xz is x and z. x+z is x or z !z is not z
\_ So, who claims it can be proved w/o truth tables?
\_ christ, this is elementary... are you a non-tech major?
\_ i dare you to prove it algebraicly. -ali
\_ *pshaw* I dare you to prove it blindfolded with two
broken thumbs.
\_ Either you are joking, or one of us doesn't understand
how predicate calculus works.
\_ the cool people in the world call this DA SELEKTAH.
the first statement says "if x, then ignore y, because the first
factor is going to be true, so the whole thing evaluates to the
second factor. but !x is false, so the second factor is always
z. So when x, z, and by symmetry, when not x, y.
the rhs is the same shit.
and "can be proved w/o using truth tables" is a bogus statement
the operators are defined in terms of truth tables, hence any proof
requires proof tables.
\_ Interesting. So what do da cool people use da selectah for?
Can't imagine it's programming since (if x y z) is so much
simpler....
\_ yeah, I think this is an important example of
"Why to not use macros to make one language look like
another language". It should have been written like
(x or y) and (!x or z)
in the first place
\_It's a damn mux...not everything is code... |