Consider truth assignments involving only the propositional variables and .
Every such truth assignment gives a value of 1 (representing true) or 0 (representing false) to each variable. We can therefore think of a truth assignment as determining a four-bit integer depending on the values given to and , and a four-bit integer depending on the values given to and .
More precisely, with being the truth value assigned to , we can define the integers and
Write a formula that is satisfied by exactly those truth assignments for which . Your formula may use any of the Boolean connectives introduced so far. Explain how you obtained your formula, and justify its correctness
Am I right in assuming that I would need to construct a formula for every single possibility where x is the greater bit?