1. The problem statement, all variables and given/known data 2. Relevant equations 3. The attempt at a solution The multiplexer that is closest to the top of the page has ~x3 as an input but I am not allowed to use the negation of a logical variable as an input. Any way to get rid of this negation?