Not(not(not(a)or b) or not(not(a and b)) or not(c))) and not(not(a and c) or (not(c) or b)) упростить

Для упрощения данного логического выражения, будем использовать методы логической алгебры.

Выражение, которое необходимо упростить: \[ \neg(\neg(\neg a \lor b) \lor \neg(\neg(a \land b)) \lor \neg c) \land \neg(\neg(a \land c) \lor (\neg c \lor b)) \]

1. Упрощаем первую часть \(\neg(\neg(\neg a \lor b) \lor \neg(\neg(a \land b)) \lor \neg c)\):

Начнем с внутренней части:

• \(\neg(\neg a \lor b) = a \land \neg b\)
• \(\neg(a \land b) = \neg a \lor \neg b\)

Подставим в выражение: \[ \neg((a \land \neg b) \lor (\neg a \lor \neg b) \lor \neg c) \] Теперь упростим \((a \land \neg b) \lor (\neg a \lor \neg b) \lor \neg c\).

Это выражение можно записать как:

1. \((a \land \neg b) \lor \neg a \lor \neg b \lor \neg c\)

Таким образом, при применении законов логики: \[ = \neg c \lor \neg b \lor (a \land \neg b) \lor \neg a \] Если переписать, получим: \[ = \neg a \lor \neg b \lor \neg c \]

Теперь: \[ \neg(\neg a \lor \neg b \lor \neg c) = a \land b \land c \]

2. Упрощаем вторую часть \(\neg(\neg(a \land c) \lor (\neg c \lor b))\):

Аналогично: \(\neg(a \land c) = \neg a \lor \neg c\), таким образом: \[ \neg((\neg a \lor \neg c) \lor (\neg c \lor b)) \] Перепишем это как: \[ \neg(\neg a \lor \neg c \lor \neg c \lor b) = \neg(\neg a \lor b \lor \neg c) = a \land \neg b \land c \]

3. Теперь объединяем обе части: Мы имеем: \[ (a \land b \land c) \land (a \land \neg b \land c) \]

Это можно переписать как: \[ a \land c \land b \land \neg b = \text{ложь} \]

Таким образом, окончательно получаем, что данное выражение упрощается до: \[ \text{ложь} \]

Итак, упрощение вашего логического выражения равно ложь.