Единственная «более простая» версия - ~(x^y) (где ^ - оператор XOR).
Однако, это не будет иметь существенного значения в вычислительном отношении, и для большинства людей труднее читать(XOR не такой естественный, как AND и OR). Нет более простой версии, использующей только операторы AND и OR, поэтому я бы посоветовал вам оставить все как есть.
, если есть общий способ интерпретации вывода.
«Либо оба истинны, либо оба ложны» - это естественная интерпретация.