Преобразование логических выражений. Задание 15 ЕГЭ информатика

Формулы, которые пригодятся, включая упрощение операции следование: A→B= ¬A v B

Преобразуем выражение, опустим значение Хϵ, получим P→((Q^ ¬A)→ ¬P) Согласно закону Де Моргана, упростим выражение в скобках P→(¬(Q^ ¬A)v ¬P) Упрости первую операцию следование: ¬P v ¬(Q^ ¬A) v ¬P) Преобразуем: ¬P v ¬Q v A Числовая прямая примет вид:

Преобразуем формулу, опускаем значение Хϵ: (С→А)→(D→A), преобразуем операцию следование №3: (С→А)→(¬D v A), преобразуем операцию следование №1: (¬С v А)→(¬D v A), преобразуем операцию следование №2: ¬(¬С v А) v ¬D v A, ((C ^ ¬A) v A ) v ¬D ((C ^ ¬A) v A ) v ¬D ((A v C) *(¬A v A)) v ¬D A v C v ¬D