Sr Examen
Expresión (avbvcvdve)&(av¬bv¬cvdv¬e)&(av¬bv¬cv¬dve)&(¬avbvcvdv¬e)&(¬av¬bv¬cvdv¬e)
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
(a∨b∨c∨d∨e)∧(b∨c∨d∨(¬a)∨(¬e))∧(a∨d∨(¬b)∨(¬c)∨(¬e))∧(a∨e∨(¬b)∨(¬c)∨(¬d))∧(d∨(¬a)∨(¬b)∨(¬c)∨(¬e))
$$\left(a \vee b \vee c \vee d \vee e\right) \wedge \left(a \vee d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg e\right) \wedge \left(d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right)$$
Solución detallada
$$\left(a \vee b \vee c \vee d \vee e\right) \wedge \left(a \vee d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg e\right) \wedge \left(d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) = \left(a \wedge \neg e\right) \vee \left(b \wedge \neg c\right) \vee \left(c \wedge \neg b\right) \vee \left(d \wedge e\right) \vee \left(d \wedge \neg b\right) \vee \left(c \wedge \neg d \wedge \neg e\right) \vee \left(e \wedge \neg a \wedge \neg b\right)$$
Simplificación
[src]
$$\left(a \wedge \neg e\right) \vee \left(b \wedge \neg c\right) \vee \left(c \wedge \neg b\right) \vee \left(d \wedge e\right) \vee \left(d \wedge \neg c\right) \vee \left(b \wedge \neg d \wedge \neg e\right) \vee \left(e \wedge \neg a \wedge \neg c\right)$$
(d∧e)∨(a∧(¬e))∨(b∧(¬c))∨(c∧(¬b))∨(d∧(¬c))∨(b∧(¬d)∧(¬e))∨(e∧(¬a)∧(¬c))
Tabla de verdad
+---+---+---+---+---+--------+ | a | b | c | d | e | result | +===+===+===+===+===+========+ | 0 | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+--------+ | 0 | 0 | 0 | 0 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 0 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 0 | 0 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 0 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 0 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 1 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 0 | 1 | 1 | 0 | 1 | 0 | +---+---+---+---+---+--------+ | 0 | 1 | 1 | 1 | 0 | 0 | +---+---+---+---+---+--------+ | 0 | 1 | 1 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 0 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 0 | 0 | 1 | 0 | +---+---+---+---+---+--------+ | 1 | 0 | 0 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 0 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 1 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 1 | 0 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 1 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 0 | 1 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 0 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 0 | 0 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 0 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 0 | 1 | 1 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 1 | 0 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 1 | 0 | 1 | 0 | +---+---+---+---+---+--------+ | 1 | 1 | 1 | 1 | 0 | 1 | +---+---+---+---+---+--------+ | 1 | 1 | 1 | 1 | 1 | 1 | +---+---+---+---+---+--------+
FND
[src]
Ya está reducido a FND
$$\left(a \wedge \neg e\right) \vee \left(b \wedge \neg c\right) \vee \left(c \wedge \neg b\right) \vee \left(d \wedge e\right) \vee \left(d \wedge \neg c\right) \vee \left(b \wedge \neg d \wedge \neg e\right) \vee \left(e \wedge \neg a \wedge \neg c\right)$$
(d∧e)∨(a∧(¬e))∨(b∧(¬c))∨(c∧(¬b))∨(d∧(¬c))∨(b∧(¬d)∧(¬e))∨(e∧(¬a)∧(¬c))
FNDP
[src]
$$\left(a \wedge \neg e\right) \vee \left(b \wedge \neg c\right) \vee \left(c \wedge \neg b\right) \vee \left(d \wedge e\right) \vee \left(d \wedge \neg c\right) \vee \left(b \wedge \neg d \wedge \neg e\right) \vee \left(e \wedge \neg a \wedge \neg c\right)$$
(d∧e)∨(a∧(¬e))∨(b∧(¬c))∨(c∧(¬b))∨(d∧(¬c))∨(b∧(¬d)∧(¬e))∨(e∧(¬a)∧(¬c))
FNCD
[src]
$$\left(d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee e\right) \wedge \left(a \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg e\right)$$
(a∨b∨c∨d∨e)∧(d∨(¬b)∨(¬c)∨(¬e))∧(b∨c∨d∨(¬a)∨(¬e))∧(a∨e∨(¬b)∨(¬c)∨(¬d))
FNC
[src]
$$\left(c \vee d \vee \neg c \vee \neg e\right) \wedge \left(c \vee e \vee \neg c \vee \neg e\right) \wedge \left(d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee e\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a\right) \wedge \left(a \vee b \vee c \vee d \vee \neg c\right) \wedge \left(a \vee b \vee c \vee e \vee \neg c\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b\right) \wedge \left(a \vee b \vee d \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee e \vee \neg b \vee \neg c\right) \wedge \left(a \vee c \vee d \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee d \vee \neg c \vee \neg e\right) \wedge \left(a \vee c \vee e \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee e \vee \neg c \vee \neg e\right) \wedge \left(a \vee d \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee e \vee \neg c \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg b \vee \neg e\right) \wedge \left(b \vee d \vee \neg a \vee \neg b \vee \neg e\right) \wedge \left(b \vee d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(c \vee d \vee e \vee \neg c \vee \neg e\right) \wedge \left(c \vee d \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(c \vee d \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(c \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(c \vee e \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(d \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(d \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(e \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg a\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg c\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a \vee \neg c\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee c \vee e \vee \neg a \vee \neg c\right) \wedge \left(a \vee b \vee c \vee e \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee e \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee d \vee e \vee \neg a \vee \neg b\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b \vee \neg d\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b \vee \neg e\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b \vee \neg d\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b \vee \neg e\right) \wedge \left(a \vee b \vee d \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee d \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee e \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee c \vee d \vee e \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee d \vee e \vee \neg c \vee \neg e\right) \wedge \left(a \vee c \vee d \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee d \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(a \vee c \vee e \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(a \vee d \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee d \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg a \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee e \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg a \vee \neg b \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg b \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee d \vee \neg a \vee \neg b \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee e \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(c \vee d \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(c \vee d \vee e \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(c \vee d \vee \neg a \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(c \vee e \vee \neg a \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(d \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(d \vee e \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(d \vee \neg a \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(e \vee \neg a \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg a \vee \neg c\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg a \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg a \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee e \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee d \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee c \vee e \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee d \vee e \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee d \vee e \vee \neg a \vee \neg b \vee \neg d\right) \wedge \left(a \vee b \vee d \vee e \vee \neg a \vee \neg b \vee \neg e\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee d \vee e \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee b \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(a \vee c \vee d \vee e \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee d \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(a \vee d \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee d \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg a \vee \neg c \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg a \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee d \vee e \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee d \vee \neg a \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee c \vee e \vee \neg a \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg a \vee \neg b \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee e \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee d \vee \neg a \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(b \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(c \vee d \vee e \vee \neg a \vee \neg c \vee \neg d \vee \neg e\right) \wedge \left(d \vee e \vee \neg a \vee \neg b \vee \neg c \vee \neg d \vee \neg e\right)$$
(a∨b∨c∨d∨e)∧(c∨d∨(¬c)∨(¬e))∧(c∨e∨(¬c)∨(¬e))∧(a∨b∨c∨d∨(¬a))∧(a∨b∨c∨d∨(¬c))∧(a∨b∨c∨e∨(¬c))∧(a∨b∨d∨e∨(¬b))∧(b∨c∨d∨e∨(¬e))∧(d∨(¬b)∨(¬c)∨(¬e))∧(e∨(¬b)∨(¬c)∨(¬e))∧(a∨b∨d∨(¬a)∨(¬b))∧(a∨b∨d∨(¬b)∨(¬c))∧(a∨b∨e∨(¬b)∨(¬c))∧(a∨c∨d∨(¬c)∨(¬d))∧(a∨c∨d∨(¬c)∨(¬e))∧(a∨c∨e∨(¬c)∨(¬d))∧(a∨c∨e∨(¬c)∨(¬e))∧(b∨c∨d∨(¬a)∨(¬e))∧(b∨c∨d∨(¬c)∨(¬e))∧(b∨c∨e∨(¬c)∨(¬e))∧(b∨d∨e∨(¬b)∨(¬e))∧(c∨d∨e∨(¬c)∨(¬e))∧(a∨b∨c∨d∨e∨(¬a))∧(a∨b∨c∨d∨e∨(¬c))∧(a∨b∨c∨d∨e∨(¬d))∧(a∨b∨c∨d∨e∨(¬e))∧(a∨d∨(¬b)∨(¬c)∨(¬d))∧(a∨d∨(¬b)∨(¬c)∨(¬e))∧(a∨e∨(¬b)∨(¬c)∨(¬d))∧(a∨e∨(¬b)∨(¬c)∨(¬e))∧(b∨d∨(¬a)∨(¬b)∨(¬e))∧(b∨d∨(¬b)∨(¬c)∨(¬e))∧(b∨e∨(¬b)∨(¬c)∨(¬e))∧(c∨d∨(¬a)∨(¬c)∨(¬e))∧(c∨d∨(¬c)∨(¬d)∨(¬e))∧(c∨e∨(¬a)∨(¬c)∨(¬e))∧(c∨e∨(¬c)∨(¬d)∨(¬e))∧(d∨e∨(¬b)∨(¬c)∨(¬e))∧(a∨b∨c∨d∨(¬a)∨(¬c))∧(a∨b∨c∨d∨(¬a)∨(¬d))∧(a∨b∨c∨d∨(¬a)∨(¬e))∧(a∨b∨c∨d∨(¬c)∨(¬d))∧(a∨b∨c∨d∨(¬c)∨(¬e))∧(a∨b∨c∨e∨(¬a)∨(¬c))∧(a∨b∨c∨e∨(¬c)∨(¬d))∧(a∨b∨c∨e∨(¬c)∨(¬e))∧(a∨b∨d∨e∨(¬a)∨(¬b))∧(a∨b∨d∨e∨(¬b)∨(¬c))∧(a∨b∨d∨e∨(¬b)∨(¬d))∧(a∨b∨d∨e∨(¬b)∨(¬e))∧(a∨c∨d∨e∨(¬c)∨(¬d))∧(a∨c∨d∨e∨(¬c)∨(¬e))∧(b∨c∨d∨e∨(¬a)∨(¬e))∧(b∨c∨d∨e∨(¬c)∨(¬e))∧(b∨c∨d∨e∨(¬d)∨(¬e))∧(d∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(d∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(e∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(a∨b∨d∨(¬a)∨(¬b)∨(¬c))∧(a∨b∨d∨(¬a)∨(¬b)∨(¬d))∧(a∨b∨d∨(¬a)∨(¬b)∨(¬e))∧(a∨b∨d∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨d∨(¬b)∨(¬c)∨(¬e))∧(a∨b∨e∨(¬a)∨(¬b)∨(¬c))∧(a∨b∨e∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨e∨(¬b)∨(¬c)∨(¬e))∧(a∨c∨d∨(¬a)∨(¬c)∨(¬d))∧(a∨c∨d∨(¬a)∨(¬c)∨(¬e))∧(a∨c∨e∨(¬a)∨(¬c)∨(¬d))∧(a∨c∨e∨(¬a)∨(¬c)∨(¬e))∧(a∨d∨e∨(¬b)∨(¬c)∨(¬d))∧(a∨d∨e∨(¬b)∨(¬c)∨(¬e))∧(b∨c∨d∨(¬a)∨(¬c)∨(¬e))∧(b∨c∨d∨(¬a)∨(¬d)∨(¬e))∧(b∨c∨d∨(¬c)∨(¬d)∨(¬e))∧(b∨c∨e∨(¬a)∨(¬c)∨(¬e))∧(b∨c∨e∨(¬c)∨(¬d)∨(¬e))∧(b∨d∨e∨(¬a)∨(¬b)∨(¬e))∧(b∨d∨e∨(¬b)∨(¬c)∨(¬e))∧(b∨d∨e∨(¬b)∨(¬d)∨(¬e))∧(c∨d∨e∨(¬a)∨(¬c)∨(¬e))∧(c∨d∨e∨(¬c)∨(¬d)∨(¬e))∧(a∨b∨c∨d∨e∨(¬a)∨(¬c))∧(a∨b∨c∨d∨e∨(¬a)∨(¬d))∧(a∨b∨c∨d∨e∨(¬a)∨(¬e))∧(a∨b∨c∨d∨e∨(¬c)∨(¬d))∧(a∨b∨c∨d∨e∨(¬c)∨(¬e))∧(a∨d∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨d∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(a∨e∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(b∨d∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(b∨d∨(¬a)∨(¬b)∨(¬d)∨(¬e))∧(b∨d∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(b∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(b∨e∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(c∨d∨(¬a)∨(¬c)∨(¬d)∨(¬e))∧(c∨e∨(¬a)∨(¬c)∨(¬d)∨(¬e))∧(d∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(d∨e∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(a∨b∨c∨d∨(¬a)∨(¬c)∨(¬d))∧(a∨b∨c∨d∨(¬a)∨(¬c)∨(¬e))∧(a∨b∨c∨e∨(¬a)∨(¬c)∨(¬d))∧(a∨b∨c∨e∨(¬a)∨(¬c)∨(¬e))∧(a∨b∨d∨e∨(¬a)∨(¬b)∨(¬c))∧(a∨b∨d∨e∨(¬a)∨(¬b)∨(¬d))∧(a∨b∨d∨e∨(¬a)∨(¬b)∨(¬e))∧(a∨b∨d∨e∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨d∨e∨(¬b)∨(¬c)∨(¬e))∧(a∨c∨d∨e∨(¬a)∨(¬c)∨(¬d))∧(a∨c∨d∨e∨(¬a)∨(¬c)∨(¬e))∧(b∨c∨d∨e∨(¬a)∨(¬c)∨(¬e))∧(b∨c∨d∨e∨(¬a)∨(¬d)∨(¬e))∧(b∨c∨d∨e∨(¬c)∨(¬d)∨(¬e))∧(d∨(¬a)∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(e∨(¬a)∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(a∨b∨d∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨d∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(a∨b∨e∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(a∨d∨e∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨d∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(b∨c∨d∨(¬a)∨(¬c)∨(¬d)∨(¬e))∧(b∨c∨e∨(¬a)∨(¬c)∨(¬d)∨(¬e))∧(b∨d∨e∨(¬a)∨(¬b)∨(¬c)∨(¬e))∧(b∨d∨e∨(¬a)∨(¬b)∨(¬d)∨(¬e))∧(b∨d∨e∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(c∨d∨e∨(¬a)∨(¬c)∨(¬d)∨(¬e))∧(b∨d∨(¬a)∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(b∨e∨(¬a)∨(¬b)∨(¬c)∨(¬d)∨(¬e))∧(d∨e∨(¬a)∨(¬b)∨(¬c)∨(¬d)∨(¬e))