Выражение (¬p∨¬q)∧(¬p∧(q→p))

В калькуляторе вы сможете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR

Вы ввели

(¬p)∧(q⇒p)∧((¬p)∨(¬q))

$$\left(q \Rightarrow p\right) \wedge \neg p \wedge \left(\neg p \vee \neg q\right)$$

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

$$q \Rightarrow p = p \vee \neg q$$
$$\left(q \Rightarrow p\right) \wedge \neg p \wedge \left(\neg p \vee \neg q\right) = \neg p \wedge \neg q$$

Упрощение

$$\neg p \wedge \neg q$$

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

+---+---+--------+
| p | q | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 0      |
+---+---+--------+
| 1 | 0 | 0      |
+---+---+--------+
| 1 | 1 | 0      |
+---+---+--------+

КНФ

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

$$\neg p \wedge \neg q$$

ДНФ

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

$$\neg p \wedge \neg q$$

СДНФ

$$\neg p \wedge \neg q$$

СКНФ

$$\neg p \wedge \neg q$$