Выражение (P→Q)→(¬P→¬Q)

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

Вы ввели

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

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

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

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

Упрощение

$$p \vee \neg q$$

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

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

ДНФ

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

$$p \vee \neg q$$

КНФ

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

$$p \vee \neg q$$

СКНФ

$$p \vee \neg q$$

СДНФ

$$p \vee \neg q$$