Expresión XVY<=>YVX;A=>BVC\

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

⌨

Solución

Ha introducido [src]

(True, Implies(a, b | c))

(True, Implies(a, Or(b, c)))

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

Solución detallada

a \Rightarrow \left(b \vee c\right) = b \vee c \vee \neg a

Simplificación [src]

(True, Implies(a, Or(b, c)))

(True, Implies(a, b | c))

Tabla de verdad

+---+---+---+--------+
| a | b | c | result |
+===+===+===+========+
| 0 | 0 | 0 | 1      |
+---+---+---+--------+
| 0 | 0 | 1 | 1      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 1      |
+---+---+---+--------+
| 1 | 0 | 0 | 1      |
+---+---+---+--------+
| 1 | 0 | 1 | 1      |
+---+---+---+--------+
| 1 | 1 | 0 | 1      |
+---+---+---+--------+
| 1 | 1 | 1 | 1      |
+---+---+---+--------+

FNCD [src]

(True, Implies(a, Or(b, c)))

(True, Implies(a, b | c))

FND [src]

(True, Implies(a, Or(b, c)))

(True, Implies(a, b | c))

FNDP [src]

(True, Implies(a, Or(b, c)))

(True, Implies(a, b | c))

FNC [src]

(True, Implies(a, Or(b, c)))

(True, Implies(a, b | c))

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión XVY<=>YVX;A=>BVC\

Solución