Упростить a⇔b - логическое выражение и таблица истинности для него, КНФ, ДНФ, СКНФ и СДНФ [Есть ответ!]

Выражение a⇔b

Преподаватель очень удивится увидев твоё верное решение😼

Решение

Вы ввели [src]
a⇔b
$$a ⇔ b$$
Упрощение [src]
$$\left(a \wedge b\right) \vee \left(\neg a \wedge \neg b\right)$$
Таблица истинности
+---+---+--------+
| a | b | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 0      |
+---+---+--------+
| 1 | 0 | 0      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+
КНФ [src]
$$\left(a \vee \neg a\right) \wedge \left(a \vee \neg b\right) \wedge \left(b \vee \neg a\right) \wedge \left(b \vee \neg b\right)$$
СКНФ [src]
$$\left(a \vee \neg b\right) \wedge \left(b \vee \neg a\right)$$
ДНФ [src]
Уже приведено к ДНФ
$$\left(a \wedge b\right) \vee \left(\neg a \wedge \neg b\right)$$
СДНФ [src]
$$\left(a \wedge b\right) \vee \left(\neg a \wedge \neg b\right)$$

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