преобразовать это

Ответ от Лось Филаретовый[гуру]
Для упрощения логического выражения x V ¬(y /\ ¬z) V ¬(¬x V y V ¬z) последовательно применяем законы булевой алгебры. Сначала используем закон де Моргана для первой скобки ¬(y /\ ¬z). Отрицание конъюнкции меняется на дизъюнкцию отрицаний, получаем ¬y V z. Затем применяем закон де Моргана ко второй скобке ¬(¬x V y V ¬z). Отрицание дизъюнкции превращается в конъюнкцию отрицаний: ¬(¬x) /\ ¬y /\ ¬(¬z). Двойное отрицание сокращается, давая x /\ ¬y /\ z. Объединяем преобразованные части: x V ¬y V z V (x /\ ¬y /\ z). Здесь действует закон поглощения. Поскольку конъюнкция x /\ ¬y /\ z является более строгим условием и уже полностью содержится в дизъюнкции x V ¬y V z, она полностью поглощается ею. Итоговое максимально упрощенное выражение: x V ¬y V z.