| |
| | [No title] (Site not responding. Last check: 2007-09-08) |
 | | the two functions given are : f(A,B,C) = ABC + not(A)B.not(C) = B.(AC + not(A).not(C)) = B.(not(A) XOR C) g(A,B,C) = B.(A XOR C) So, already they seem to be different. |
 | | in order to show that the two functions are different, what we have to do, is to set A,B,C such that the two functions take different values at this particular setting [assignment to] of A,B,C. Clearly, if we set B to 0, then both functions assume the value 0, so that won't work. |
 | | XOR(A,B) = A.not(B) + not(A).B so, (one can check this out) XOR of two variables takes on the value 1, if and only if, exactly one of the variables is set to 1. |
| paul.rutgers.edu /~weiz/cs211/hw2sum.txt (444 words) |
|