Expresión xvy<->-y

El profesor se sorprenderá mucho al ver tu solución correcta😉

⌨

Ha introducido [src]

(True)|y

$$\left(\text{True}\right) | y$$

Вы использовали:
| - Не-и (штрих Шеффера).
Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
Посмотреть с символом ∨

Solución detallada

$$\left(\text{True}\right) | y = \neg y$$

Simplificación [src]

$$\neg y$$

¬y

Tabla de verdad

+---+--------+
| y | result |
+===+========+
| 0 | 1      |
+---+--------+
| 1 | 0      |
+---+--------+

FNC [src]

Ya está reducido a FNC

$$\neg y$$

¬y

FNCD [src]

$$\neg y$$

¬y

FNDP [src]

$$\neg y$$

¬y

FND [src]

Ya está reducido a FND

$$\neg y$$

¬y