Господин Экзамен

Lang:

Математическая логика/ ¬(A∨¬B∨C)

Выражение ¬(A∨¬B∨C)

С верным решением ты станешь самым любимым в группе❤️😊

⌨

Решение

Вы ввели [src]

¬(a∨c∨(¬b))

$$\neg \left(a \vee c \vee \neg b\right)$$

Подробное решение

$$\neg \left(a \vee c \vee \neg b\right) = b \wedge \neg a \wedge \neg c$$

Упрощение [src]

$$b \wedge \neg a \wedge \neg c$$

b∧(¬a)∧(¬c)

Таблица истинности

+---+---+---+--------+
| a | b | c | result |
+===+===+===+========+
| 0 | 0 | 0 | 0      |
+---+---+---+--------+
| 0 | 0 | 1 | 0      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 0      |
+---+---+---+--------+
| 1 | 0 | 0 | 0      |
+---+---+---+--------+
| 1 | 0 | 1 | 0      |
+---+---+---+--------+
| 1 | 1 | 0 | 0      |
+---+---+---+--------+
| 1 | 1 | 1 | 0      |
+---+---+---+--------+

СКНФ [src]

$$b \wedge \neg a \wedge \neg c$$

b∧(¬a)∧(¬c)

КНФ [src]

Уже приведено к КНФ

$$b \wedge \neg a \wedge \neg c$$

b∧(¬a)∧(¬c)

ДНФ [src]

Уже приведено к ДНФ

$$b \wedge \neg a \wedge \neg c$$

b∧(¬a)∧(¬c)

СДНФ [src]

$$b \wedge \neg a \wedge \neg c$$

b∧(¬a)∧(¬c)