6.3.23 Boolean algebra

Problem: Identify dummy variables in functions, defined by formulas and express them in a formula containing only essential variables. \[ (x y \vee \bar{x} \bar{y}) \oplus \bar{x} . \]