6.3.23 Булева алгебра

условие: Выявить фиктивные переменные в функциях, заданных формулами, и выразить их формулой, содержащей только существенные переменные. \[ (x y \vee \bar{x} \bar{y}) \bigoplus \bar{x} \]