Проверить, имеет ли место соотношение? (мат. логика)

[rjrf]

(not((not c || b) || (b || ((c && ((d XOR b) && a)) XOR b))) || d) => (((d && ((d && (c || b) && (a || c))) || ((( not b||a) && (c xor d)) || d)) ||c)
упростил, получилось ((NOT b) AND c) OR d => c OR d
что делать дальше?

[_Ivana]

Если верите в свое упрощение, то давать ответ. Если сомневаетесь в нем, то проверять, можно прямо на компе с заданием всех аргументов.

[rjrf]

_Ivana
Всё проверил, а какой ответ? как его найти?

[_Ivana]

Ответ логический - да или нет. Имеет или не имеет (место соотношение).

[Toucan]

Тема перемещена в Карантин.

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.