Sr Examen

Lang:

¿Cómo usar?
Expresión:
A∧(B↔C)
(A∨B)
(A∧¬B)∨(B∧¬A)
(A∧~B)∨(B∧~C)
Expresiones idénticas
(avb&c&g&x)&(cvg&x&d&f)&(bvc&d&f)&(gvx&w&d)&(wvd&f&x)&(fvd&x)
avb&c&g&x&cvg&x&d&f&bvc&d&f&gvx&w&d&wvd&f&x&fvd&x
Expresiones con funciones
avb
avb>(hecvheb)
avb=¬¬a
avb&c
avb&¬a&¬b
avb&¬(avb)&c&d

Lógica matemática/ (avb&c&g&x)&(cvg&x&d&f)&(bvc&d&f)&(gvx&w&d)&(wvd&f&x)&(fvd&x)

Expresión (avb&c&g&x)&(cvg&x&d&f)&(bvc&d&f)&(gvx&w&d)&(wvd&f&x)&(fvd&x)

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

⌨

Solución

Ha introducido [src]

(f∨(d∧x))∧(b∨(c∧d∧f))∧(g∨(d∧w∧x))∧(w∨(d∧f∧x))∧(a∨(b∧c∧g∧x))∧(c∨(d∧f∧g∧x))

Solución detallada

$$\left(a \vee \left(b \wedge c \wedge g \wedge x\right)\right) \wedge \left(b \vee \left(c \wedge d \wedge f\right)\right) \wedge \left(c \vee \left(d \wedge f \wedge g \wedge x\right)\right) \wedge \left(f \vee \left(d \wedge x\right)\right) \wedge \left(g \vee \left(d \wedge w \wedge x\right)\right) \wedge \left(w \vee \left(d \wedge f \wedge x\right)\right) = \left(a \vee b\right) \wedge \left(a \vee c\right) \wedge \left(a \vee g\right) \wedge \left(a \vee x\right) \wedge \left(b \vee c\right) \wedge \left(b \vee d\right) \wedge \left(b \vee f\right) \wedge \left(c \vee d\right) \wedge \left(c \vee f\right) \wedge \left(c \vee g\right) \wedge \left(c \vee x\right) \wedge \left(d \vee f\right) \wedge \left(d \vee g\right) \wedge \left(d \vee w\right) \wedge \left(f \vee w\right) \wedge \left(f \vee x\right) \wedge \left(g \vee w\right) \wedge \left(g \vee x\right) \wedge \left(w \vee x\right)$$

Simplificación [src]

$$\left(a \vee b\right) \wedge \left(a \vee c\right) \wedge \left(a \vee g\right) \wedge \left(a \vee x\right) \wedge \left(b \vee c\right) \wedge \left(b \vee d\right) \wedge \left(b \vee f\right) \wedge \left(c \vee d\right) \wedge \left(c \vee f\right) \wedge \left(c \vee g\right) \wedge \left(c \vee x\right) \wedge \left(d \vee f\right) \wedge \left(d \vee g\right) \wedge \left(d \vee w\right) \wedge \left(f \vee w\right) \wedge \left(f \vee x\right) \wedge \left(g \vee w\right) \wedge \left(g \vee x\right) \wedge \left(w \vee x\right)$$

(a∨b)∧(a∨c)∧(a∨g)∧(a∨x)∧(b∨c)∧(b∨d)∧(b∨f)∧(c∨d)∧(c∨f)∧(c∨g)∧(c∨x)∧(d∨f)∧(d∨g)∧(d∨w)∧(f∨w)∧(f∨x)∧(g∨w)∧(g∨x)∧(w∨x)

Tabla de verdad

+---+---+---+---+---+---+---+---+--------+
| a | b | c | d | f | g | w | x | result |
+===+===+===+===+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1      |
+---+---+---+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+---+---+---+--------+

FNDP [src]

$$\left(a \wedge b \wedge c \wedge d \wedge w \wedge x\right) \vee \left(a \wedge b \wedge c \wedge f \wedge g \wedge w\right) \vee \left(a \wedge b \wedge d \wedge f \wedge g \wedge x\right) \vee \left(a \wedge c \wedge d \wedge f \wedge g \wedge w\right) \vee \left(a \wedge c \wedge d \wedge f \wedge g \wedge x\right) \vee \left(a \wedge c \wedge d \wedge f \wedge w \wedge x\right) \vee \left(b \wedge c \wedge d \wedge f \wedge g \wedge x\right) \vee \left(b \wedge c \wedge d \wedge g \wedge w \wedge x\right) \vee \left(b \wedge c \wedge f \wedge g \wedge w \wedge x\right)$$

(a∧b∧c∧d∧w∧x)∨(a∧b∧c∧f∧g∧w)∨(a∧b∧d∧f∧g∧x)∨(a∧c∧d∧f∧g∧w)∨(a∧c∧d∧f∧g∧x)∨(a∧c∧d∧f∧w∧x)∨(b∧c∧d∧f∧g∧x)∨(b∧c∧d∧g∧w∧x)∨(b∧c∧f∧g∧w∧x)

FNC [src]

Ya está reducido a FNC

(a∨b)∧(a∨c)∧(a∨g)∧(a∨x)∧(b∨c)∧(b∨d)∧(b∨f)∧(c∨d)∧(c∨f)∧(c∨g)∧(c∨x)∧(d∨f)∧(d∨g)∧(d∨w)∧(f∨w)∧(f∨x)∧(g∨w)∧(g∨x)∧(w∨x)

FNCD [src]

(a∨b)∧(a∨c)∧(a∨g)∧(a∨x)∧(b∨c)∧(b∨d)∧(b∨f)∧(c∨d)∧(c∨f)∧(c∨g)∧(c∨x)∧(d∨f)∧(d∨g)∧(d∨w)∧(f∨w)∧(f∨x)∧(g∨w)∧(g∨x)∧(w∨x)

¿Cómo usar?

Expresiones idénticas

Expresiones con funciones

Expresión (avb&c&g&x)&(cvg&x&d&f)&(bvc&d&f)&(gvx&w&d)&(wvd&f&x)&(fvd&x)

Solución