Posted this in HHHL, but no responses.
Repost here:
Hi, need help with some basic DE, focusing on truth tables and boolean algebra.
The output f should be a 1 if the numbers represented by X and Y are equal. Otherwise, f is a 0.
The output g should be a 1 only if X >= Y.
Truth table is here:

The outputs: (Here I am using a capitalized letter to denote and, and a lower case letter for not, (ex A = A, a = Not A)
F = abcd + aBcD + AbCd + ABCD
I believe this is the correct output for F, I do not believe however, I am able to simplify this any further, as if I separated abcd and aBcD, I would get ac (bd + BD) but bd + BD =/= 0 or 1
G = abcd + aBcd + aBcD + Abcd + AbcD + AbCd + ABcd + ABcD + ABCd + ABCD
This is the part where it got really complicated for me. I tried factoring out the 1/2nd terms and the 7/8/9/10 terms, but I couldn't figure out how to factor out the others. I tried a different approach and factored out the terms that had the most amount of them so I got
cd + ABD + cD + ABCd = c (d + D) = c + AB ( D+ Cd), used consensus theorem = c + AB (D+C) and then I don't know what to do anymore.
If anyone can tell me how to do this and what the answer is (Was told it was A + c), paying reasonable amounts if anyone is able to give me a full explanation, thanks !
This post was edited by Sefira on Oct 22 2013 05:38pm