godrop_inactive3274148, аааоаооооо даже тут вычислительная техника меня нашла аааааааааааааааааааааааа
Там 3 выражения связанных ИЛИ, (второе ИЛИ третье) выражение сворачиваются в отрицание эквивалетности операндов: not (b == (a or c)) что потом по ДеМоргану с первым выражением упрощается до a and (b == (a or c)) так как это выражение может быть истинным только когда a - TRUE, то значение b == (TRUE or c) сворачивается в b == TRUE что равносильно просто b . В результате остаётся a and b