Помогите получить равносильные логические выражения

эти галочки это типа плюс чтоле?

 

Там 3 выражения связанных ИЛИ, (второе ИЛИ третье) выражение сворачиваются в отрицание эквивалетности операндов:

not (b == (a or c))

что потом по ДеМоргану с первым выражением упрощается до

a and (b == (a or c))

так как это выражение может быть истинным только когда a - TRUE, то значение

b == (TRUE or c)

сворачивается в

b == TRUE

что равносильно просто

b

. В результате остаётся

a and b