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

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

Вы ввели

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

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

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

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

Упрощение

$$p$$

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

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

СДНФ

$$p$$

ДНФ

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

$$p$$

КНФ

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

$$p$$

СКНФ

$$p$$