Expresión ab!c+ad+!ab+ac!d

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

⌨

Solución

Ha introducido [src]

(a∧b)∨(a∧d)∨(a∧b∧(¬c))∨(a∧c∧(¬d))

\left(a \wedge b\right) \vee \left(a \wedge d\right) \vee \left(a \wedge b \wedge \neg c\right) \vee \left(a \wedge c \wedge \neg d\right)

Solución detallada

\left(a \wedge b\right) \vee \left(a \wedge d\right) \vee \left(a \wedge b \wedge \neg c\right) \vee \left(a \wedge c \wedge \neg d\right) = a \wedge \left(b \vee c \vee d\right)

Simplificación [src]

a \wedge \left(b \vee c \vee d\right)

a∧(b∨c∨d)

Tabla de verdad

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

FNC [src]

Ya está reducido a FNC

a \wedge \left(b \vee c \vee d\right)

a∧(b∨c∨d)

FND [src]

\left(a \wedge b\right) \vee \left(a \wedge c\right) \vee \left(a \wedge d\right)

(a∧b)∨(a∧c)∨(a∧d)

FNDP [src]

\left(a \wedge b\right) \vee \left(a \wedge c\right) \vee \left(a \wedge d\right)

(a∧b)∨(a∧c)∨(a∧d)

FNCD [src]

a \wedge \left(b \vee c \vee d\right)

a∧(b∨c∨d)

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresiones con funciones

Expresión ab!c+ad+!ab+ac!d

Solución