Sr Examen
Lógica matemática/ F=(((¬(a⊕b))∨¬b)∧c)⊕(¬(c∨d))

Expresión F=(((¬(a⊕b))∨¬b)∧c)⊕(¬(c∨d))

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

⌨

    Solución

    Ha introducido [src] 
    (¬(c∨d))⊕(f⇔(c∧((¬b)∨(¬(a⊕b)))))
    ¬(c∨d)⊕(f⇔(c∧(¬b∨¬(a⊕b))))\neg \left(c \vee d\right) ⊕ \left(f ⇔ \left(c \wedge \left(\neg b \vee \neg \left(a ⊕ b\right)\right)\right)\right)
    Solución detallada
    ¬(c∨d)=¬c∧¬d\neg \left(c \vee d\right) = \neg c \wedge \neg d
    a⊕b=(a∧¬b)∨(b∧¬a)a ⊕ b = \left(a \wedge \neg b\right) \vee \left(b \wedge \neg a\right)
    ¬(a⊕b)=(a∧b)∨(¬a∧¬b)\neg \left(a ⊕ b\right) = \left(a \wedge b\right) \vee \left(\neg a \wedge \neg b\right)
    ¬b∨¬(a⊕b)=a∨¬b\neg b \vee \neg \left(a ⊕ b\right) = a \vee \neg b
    c∧(¬b∨¬(a⊕b))=c∧(a∨¬b)c \wedge \left(\neg b \vee \neg \left(a ⊕ b\right)\right) = c \wedge \left(a \vee \neg b\right)
    f⇔(c∧(¬b∨¬(a⊕b)))=(¬c∧¬f)∨(a∧c∧f)∨(b∧¬a∧¬f)∨(c∧f∧¬b)f ⇔ \left(c \wedge \left(\neg b \vee \neg \left(a ⊕ b\right)\right)\right) = \left(\neg c \wedge \neg f\right) \vee \left(a \wedge c \wedge f\right) \vee \left(b \wedge \neg a \wedge \neg f\right) \vee \left(c \wedge f \wedge \neg b\right)
    ¬(c∨d)⊕(f⇔(c∧(¬b∨¬(a⊕b))))=(a∧c∧f)∨(c∧f∧¬b)∨(d∧¬c∧¬f)∨(f∧¬c∧¬d)∨(b∧c∧¬a∧¬f)\neg \left(c \vee d\right) ⊕ \left(f ⇔ \left(c \wedge \left(\neg b \vee \neg \left(a ⊕ b\right)\right)\right)\right) = \left(a \wedge c \wedge f\right) \vee \left(c \wedge f \wedge \neg b\right) \vee \left(d \wedge \neg c \wedge \neg f\right) \vee \left(f \wedge \neg c \wedge \neg d\right) \vee \left(b \wedge c \wedge \neg a \wedge \neg f\right)
    Simplificación [src]
    (a∧c∧f)∨(c∧f∧¬b)∨(d∧¬c∧¬f)∨(f∧¬c∧¬d)∨(b∧c∧¬a∧¬f)\left(a \wedge c \wedge f\right) \vee \left(c \wedge f \wedge \neg b\right) \vee \left(d \wedge \neg c \wedge \neg f\right) \vee \left(f \wedge \neg c \wedge \neg d\right) \vee \left(b \wedge c \wedge \neg a \wedge \neg f\right) 
    (a∧c∧f)∨(c∧f∧(¬b))∨(d∧(¬c)∧(¬f))∨(f∧(¬c)∧(¬d))∨(b∧c∧(¬a)∧(¬f))
    Tabla de verdad 
    +---+---+---+---+---+--------+
| a | b | c | d | f | result |
+===+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 0 | 0 | 0 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 | 1      |
+---+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 | 1      |
+---+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 | 1      |
+---+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 | 0      |
+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 | 1      |
+---+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 | 0      |
+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 | 1      |
+---+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 | 1      |
+---+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 | 0      |
+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 | 0      |
+---+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+---+--------+
    FND [src]
    Ya está reducido a FND
    (a∧c∧f)∨(c∧f∧¬b)∨(d∧¬c∧¬f)∨(f∧¬c∧¬d)∨(b∧c∧¬a∧¬f)\left(a \wedge c \wedge f\right) \vee \left(c \wedge f \wedge \neg b\right) \vee \left(d \wedge \neg c \wedge \neg f\right) \vee \left(f \wedge \neg c \wedge \neg d\right) \vee \left(b \wedge c \wedge \neg a \wedge \neg f\right) 
    (a∧c∧f)∨(c∧f∧(¬b))∨(d∧(¬c)∧(¬f))∨(f∧(¬c)∧(¬d))∨(b∧c∧(¬a)∧(¬f))
    FNCD [src]
    (b∨f∨¬c)∧(c∨d∨f)∧(c∨¬d∨¬f)∧(f∨¬a∨¬c)∧(a∨¬b∨¬c∨¬f)\left(b \vee f \vee \neg c\right) \wedge \left(c \vee d \vee f\right) \wedge \left(c \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg c\right) \wedge \left(a \vee \neg b \vee \neg c \vee \neg f\right) 
    (c∨d∨f)∧(b∨f∨(¬c))∧(c∨(¬d)∨(¬f))∧(f∨(¬a)∨(¬c))∧(a∨(¬b)∨(¬c)∨(¬f))
    FNC [src]
    (c∨¬c)∧(f∨¬f)∧(a∨c∨¬c)∧(a∨f∨¬f)∧(b∨c∨¬c)∧(b∨d∨f)∧(b∨f∨¬c)∧(b∨f∨¬f)∧(c∨d∨f)∧(c∨d∨¬c)∧(c∨d∨¬d)∧(c∨f∨¬c)∧(c∨f∨¬f)∧(c∨¬a∨¬c)∧(c∨¬b∨¬c)∧(c∨¬c∨¬d)∧(c∨¬c∨¬f)∧(c∨¬d∨¬f)∧(d∨f∨¬a)∧(d∨f∨¬f)∧(f∨¬a∨¬c)∧(f∨¬a∨¬f)∧(f∨¬b∨¬f)∧(f∨¬c∨¬f)∧(f∨¬d∨¬f)∧(a∨b∨c∨¬c)∧(a∨b∨d∨f)∧(a∨b∨f∨¬c)∧(a∨b∨f∨¬f)∧(a∨b∨¬b∨¬c)∧(a∨c∨d∨f)∧(a∨c∨d∨¬c)∧(a∨c∨d∨¬d)∧(a∨c∨f∨¬c)∧(a∨c∨f∨¬f)∧(a∨c∨¬a∨¬c)∧(a∨c∨¬b∨¬c)∧(a∨c∨¬c∨¬d)∧(a∨c∨¬c∨¬f)∧(a∨c∨¬d∨¬f)∧(a∨d∨f∨¬a)∧(a∨d∨f∨¬f)∧(a∨f∨¬a∨¬c)∧(a∨f∨¬a∨¬f)∧(a∨f∨¬b∨¬f)∧(a∨f∨¬c∨¬f)∧(a∨f∨¬d∨¬f)∧(a∨¬a∨¬b∨¬c)∧(a∨¬b∨¬c∨¬f)∧(a∨¬b∨¬d∨¬f)∧(b∨c∨d∨f)∧(b∨c∨d∨¬c)∧(b∨c∨d∨¬d)∧(b∨c∨f∨¬c)∧(b∨c∨f∨¬f)∧(b∨c∨¬b∨¬c)∧(b∨c∨¬c∨¬d)∧(b∨c∨¬c∨¬f)∧(b∨c∨¬d∨¬f)∧(b∨d∨f∨¬b)∧(b∨d∨f∨¬c)∧(b∨d∨f∨¬d)∧(b∨f∨¬b∨¬c)∧(b∨f∨¬b∨¬f)∧(b∨f∨¬c∨¬d)∧(b∨f∨¬c∨¬f)∧(b∨f∨¬d∨¬f)∧(c∨d∨f∨¬a)∧(c∨d∨f∨¬b)∧(c∨d∨f∨¬c)∧(c∨d∨f∨¬d)∧(c∨d∨f∨¬f)∧(c∨d∨¬a∨¬c)∧(c∨d∨¬a∨¬d)∧(c∨d∨¬b∨¬c)∧(c∨d∨¬b∨¬d)∧(c∨d∨¬c∨¬f)∧(c∨d∨¬d∨¬f)∧(c∨f∨¬a∨¬c)∧(c∨f∨¬a∨¬f)∧(c∨f∨¬b∨¬c)∧(c∨f∨¬b∨¬f)∧(c∨f∨¬c∨¬d)∧(c∨f∨¬c∨¬f)∧(c∨f∨¬d∨¬f)∧(c∨¬a∨¬b∨¬c)∧(c∨¬a∨¬c∨¬d)∧(c∨¬a∨¬c∨¬f)∧(c∨¬a∨¬d∨¬f)∧(c∨¬b∨¬c∨¬d)∧(c∨¬b∨¬c∨¬f)∧(c∨¬b∨¬d∨¬f)∧(c∨¬c∨¬d∨¬f)∧(d∨f∨¬a∨¬b)∧(d∨f∨¬a∨¬c)∧(d∨f∨¬a∨¬d)∧(d∨f∨¬b∨¬f)∧(d∨f∨¬c∨¬f)∧(d∨f∨¬d∨¬f)∧(f∨¬a∨¬b∨¬c)∧(f∨¬a∨¬b∨¬f)∧(f∨¬a∨¬c∨¬d)∧(f∨¬a∨¬c∨¬f)∧(f∨¬a∨¬d∨¬f)∧(f∨¬b∨¬c∨¬f)∧(f∨¬b∨¬d∨¬f)∧(f∨¬c∨¬d∨¬f)∧(a∨b∨c∨d∨f)∧(a∨b∨c∨d∨¬c)∧(a∨b∨c∨d∨¬d)∧(a∨b∨c∨f∨¬c)∧(a∨b∨c∨f∨¬f)∧(a∨b∨c∨¬c∨¬d)∧(a∨b∨c∨¬c∨¬f)∧(a∨b∨c∨¬d∨¬f)∧(a∨b∨d∨f∨¬b)∧(a∨b∨d∨f∨¬c)∧(a∨b∨d∨f∨¬d)∧(a∨b∨d∨¬b∨¬c)∧(a∨b∨d∨¬b∨¬d)∧(a∨b∨f∨¬b∨¬c)∧(a∨b∨f∨¬b∨¬f)∧(a∨b∨f∨¬c∨¬d)∧(a∨b∨f∨¬c∨¬f)∧(a∨b∨f∨¬d∨¬f)∧(a∨b∨¬b∨¬c∨¬d)∧(a∨b∨¬b∨¬c∨¬f)∧(a∨b∨¬b∨¬d∨¬f)∧(a∨c∨d∨f∨¬a)∧(a∨c∨d∨f∨¬b)∧(a∨c∨d∨f∨¬c)∧(a∨c∨d∨f∨¬d)∧(a∨c∨d∨f∨¬f)∧(a∨c∨d∨¬a∨¬c)∧(a∨c∨d∨¬a∨¬d)∧(a∨c∨d∨¬b∨¬c)∧(a∨c∨d∨¬b∨¬d)∧(a∨c∨d∨¬c∨¬f)∧(a∨c∨d∨¬d∨¬f)∧(a∨c∨f∨¬a∨¬c)∧(a∨c∨f∨¬a∨¬f)∧(a∨c∨f∨¬b∨¬c)∧(a∨c∨f∨¬b∨¬f)∧(a∨c∨f∨¬c∨¬d)∧(a∨c∨f∨¬c∨¬f)∧(a∨c∨f∨¬d∨¬f)∧(a∨c∨¬a∨¬c∨¬d)∧(a∨c∨¬a∨¬c∨¬f)∧(a∨c∨¬a∨¬d∨¬f)∧(a∨c∨¬b∨¬c∨¬d)∧(a∨c∨¬b∨¬c∨¬f)∧(a∨c∨¬b∨¬d∨¬f)∧(a∨c∨¬c∨¬d∨¬f)∧(a∨d∨f∨¬a∨¬b)∧(a∨d∨f∨¬a∨¬c)∧(a∨d∨f∨¬a∨¬d)∧(a∨d∨f∨¬b∨¬f)∧(a∨d∨f∨¬c∨¬f)∧(a∨d∨f∨¬d∨¬f)∧(a∨d∨¬a∨¬b∨¬c)∧(a∨d∨¬a∨¬b∨¬d)∧(a∨d∨¬b∨¬c∨¬f)∧(a∨d∨¬b∨¬d∨¬f)∧(a∨f∨¬a∨¬b∨¬c)∧(a∨f∨¬a∨¬b∨¬f)∧(a∨f∨¬a∨¬c∨¬d)∧(a∨f∨¬a∨¬c∨¬f)∧(a∨f∨¬a∨¬d∨¬f)∧(a∨f∨¬b∨¬c∨¬f)∧(a∨f∨¬c∨¬d∨¬f)∧(a∨¬a∨¬b∨¬c∨¬d)∧(a∨¬a∨¬b∨¬c∨¬f)∧(a∨¬a∨¬b∨¬d∨¬f)∧(a∨¬b∨¬c∨¬d∨¬f)∧(b∨c∨d∨f∨¬b)∧(b∨c∨d∨f∨¬c)∧(b∨c∨d∨f∨¬d)∧(b∨c∨d∨¬b∨¬c)∧(b∨c∨d∨¬b∨¬d)∧(b∨c∨f∨¬b∨¬c)∧(b∨c∨f∨¬b∨¬f)∧(b∨c∨f∨¬c∨¬d)∧(b∨c∨f∨¬c∨¬f)∧(b∨c∨f∨¬d∨¬f)∧(b∨c∨¬b∨¬c∨¬d)∧(b∨c∨¬b∨¬c∨¬f)∧(b∨c∨¬b∨¬d∨¬f)∧(b∨d∨f∨¬b∨¬c)∧(b∨d∨f∨¬b∨¬d)∧(b∨f∨¬b∨¬c∨¬d)∧(b∨f∨¬b∨¬c∨¬f)∧(b∨f∨¬b∨¬d∨¬f)∧(c∨d∨f∨¬a∨¬b)∧(c∨d∨f∨¬a∨¬c)∧(c∨d∨f∨¬a∨¬d)∧(c∨d∨f∨¬b∨¬c)∧(c∨d∨f∨¬b∨¬d)∧(c∨d∨f∨¬b∨¬f)∧(c∨d∨f∨¬c∨¬f)∧(c∨d∨f∨¬d∨¬f)∧(c∨d∨¬a∨¬b∨¬c)∧(c∨d∨¬a∨¬b∨¬d)∧(c∨d∨¬b∨¬c∨¬f)∧(c∨d∨¬b∨¬d∨¬f)∧(c∨f∨¬a∨¬b∨¬c)∧(c∨f∨¬a∨¬b∨¬f)∧(c∨f∨¬a∨¬c∨¬d)∧(c∨f∨¬a∨¬c∨¬f)∧(c∨f∨¬a∨¬d∨¬f)∧(c∨f∨¬b∨¬c∨¬d)∧(c∨f∨¬b∨¬c∨¬f)∧(c∨f∨¬b∨¬d∨¬f)∧(c∨f∨¬c∨¬d∨¬f)∧(c∨¬a∨¬b∨¬c∨¬d)∧(c∨¬a∨¬b∨¬c∨¬f)∧(c∨¬a∨¬b∨¬d∨¬f)∧(c∨¬b∨¬c∨¬d∨¬f)∧(d∨f∨¬a∨¬b∨¬c)∧(d∨f∨¬a∨¬b∨¬d)∧(d∨f∨¬b∨¬c∨¬f)∧(d∨f∨¬b∨¬d∨¬f)∧(f∨¬a∨¬b∨¬c∨¬d)∧(f∨¬a∨¬b∨¬c∨¬f)∧(f∨¬a∨¬b∨¬d∨¬f)∧(f∨¬b∨¬c∨¬d∨¬f)\left(c \vee \neg c\right) \wedge \left(f \vee \neg f\right) \wedge \left(a \vee c \vee \neg c\right) \wedge \left(a \vee f \vee \neg f\right) \wedge \left(b \vee c \vee \neg c\right) \wedge \left(b \vee d \vee f\right) \wedge \left(b \vee f \vee \neg c\right) \wedge \left(b \vee f \vee \neg f\right) \wedge \left(c \vee d \vee f\right) \wedge \left(c \vee d \vee \neg c\right) \wedge \left(c \vee d \vee \neg d\right) \wedge \left(c \vee f \vee \neg c\right) \wedge \left(c \vee f \vee \neg f\right) \wedge \left(c \vee \neg a \vee \neg c\right) \wedge \left(c \vee \neg b \vee \neg c\right) \wedge \left(c \vee \neg c \vee \neg d\right) \wedge \left(c \vee \neg c \vee \neg f\right) \wedge \left(c \vee \neg d \vee \neg f\right) \wedge \left(d \vee f \vee \neg a\right) \wedge \left(d \vee f \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg c\right) \wedge \left(f \vee \neg a \vee \neg f\right) \wedge \left(f \vee \neg b \vee \neg f\right) \wedge \left(f \vee \neg c \vee \neg f\right) \wedge \left(f \vee \neg d \vee \neg f\right) \wedge \left(a \vee b \vee c \vee \neg c\right) \wedge \left(a \vee b \vee d \vee f\right) \wedge \left(a \vee b \vee f \vee \neg c\right) \wedge \left(a \vee b \vee f \vee \neg f\right) \wedge \left(a \vee b \vee \neg b \vee \neg c\right) \wedge \left(a \vee c \vee d \vee f\right) \wedge \left(a \vee c \vee d \vee \neg c\right) \wedge \left(a \vee c \vee d \vee \neg d\right) \wedge \left(a \vee c \vee f \vee \neg c\right) \wedge \left(a \vee c \vee f \vee \neg f\right) \wedge \left(a \vee c \vee \neg a \vee \neg c\right) \wedge \left(a \vee c \vee \neg b \vee \neg c\right) \wedge \left(a \vee c \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee \neg c \vee \neg f\right) \wedge \left(a \vee c \vee \neg d \vee \neg f\right) \wedge \left(a \vee d \vee f \vee \neg a\right) \wedge \left(a \vee d \vee f \vee \neg f\right) \wedge \left(a \vee f \vee \neg a \vee \neg c\right) \wedge \left(a \vee f \vee \neg a \vee \neg f\right) \wedge \left(a \vee f \vee \neg b \vee \neg f\right) \wedge \left(a \vee f \vee \neg c \vee \neg f\right) \wedge \left(a \vee f \vee \neg d \vee \neg f\right) \wedge \left(a \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(b \vee c \vee d \vee f\right) \wedge \left(b \vee c \vee d \vee \neg c\right) \wedge \left(b \vee c \vee d \vee \neg d\right) \wedge \left(b \vee c \vee f \vee \neg c\right) \wedge \left(b \vee c \vee f \vee \neg f\right) \wedge \left(b \vee c \vee \neg b \vee \neg c\right) \wedge \left(b \vee c \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee \neg c \vee \neg f\right) \wedge \left(b \vee c \vee \neg d \vee \neg f\right) \wedge \left(b \vee d \vee f \vee \neg b\right) \wedge \left(b \vee d \vee f \vee \neg c\right) \wedge \left(b \vee d \vee f \vee \neg d\right) \wedge \left(b \vee f \vee \neg b \vee \neg c\right) \wedge \left(b \vee f \vee \neg b \vee \neg f\right) \wedge \left(b \vee f \vee \neg c \vee \neg d\right) \wedge \left(b \vee f \vee \neg c \vee \neg f\right) \wedge \left(b \vee f \vee \neg d \vee \neg f\right) \wedge \left(c \vee d \vee f \vee \neg a\right) \wedge \left(c \vee d \vee f \vee \neg b\right) \wedge \left(c \vee d \vee f \vee \neg c\right) \wedge \left(c \vee d \vee f \vee \neg d\right) \wedge \left(c \vee d \vee f \vee \neg f\right) \wedge \left(c \vee d \vee \neg a \vee \neg c\right) \wedge \left(c \vee d \vee \neg a \vee \neg d\right) \wedge \left(c \vee d \vee \neg b \vee \neg c\right) \wedge \left(c \vee d \vee \neg b \vee \neg d\right) \wedge \left(c \vee d \vee \neg c \vee \neg f\right) \wedge \left(c \vee d \vee \neg d \vee \neg f\right) \wedge \left(c \vee f \vee \neg a \vee \neg c\right) \wedge \left(c \vee f \vee \neg a \vee \neg f\right) \wedge \left(c \vee f \vee \neg b \vee \neg c\right) \wedge \left(c \vee f \vee \neg b \vee \neg f\right) \wedge \left(c \vee f \vee \neg c \vee \neg d\right) \wedge \left(c \vee f \vee \neg c \vee \neg f\right) \wedge \left(c \vee f \vee \neg d \vee \neg f\right) \wedge \left(c \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(c \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(c \vee \neg a \vee \neg c \vee \neg f\right) \wedge \left(c \vee \neg a \vee \neg d \vee \neg f\right) \wedge \left(c \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(c \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(c \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(c \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(d \vee f \vee \neg a \vee \neg b\right) \wedge \left(d \vee f \vee \neg a \vee \neg c\right) \wedge \left(d \vee f \vee \neg a \vee \neg d\right) \wedge \left(d \vee f \vee \neg b \vee \neg f\right) \wedge \left(d \vee f \vee \neg c \vee \neg f\right) \wedge \left(d \vee f \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(f \vee \neg a \vee \neg b \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(f \vee \neg a \vee \neg c \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(f \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(a \vee b \vee c \vee d \vee f\right) \wedge \left(a \vee b \vee c \vee d \vee \neg c\right) \wedge \left(a \vee b \vee c \vee d \vee \neg d\right) \wedge \left(a \vee b \vee c \vee f \vee \neg c\right) \wedge \left(a \vee b \vee c \vee f \vee \neg f\right) \wedge \left(a \vee b \vee c \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee c \vee \neg c \vee \neg f\right) \wedge \left(a \vee b \vee c \vee \neg d \vee \neg f\right) \wedge \left(a \vee b \vee d \vee f \vee \neg b\right) \wedge \left(a \vee b \vee d \vee f \vee \neg c\right) \wedge \left(a \vee b \vee d \vee f \vee \neg d\right) \wedge \left(a \vee b \vee d \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee d \vee \neg b \vee \neg d\right) \wedge \left(a \vee b \vee f \vee \neg b \vee \neg c\right) \wedge \left(a \vee b \vee f \vee \neg b \vee \neg f\right) \wedge \left(a \vee b \vee f \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee f \vee \neg c \vee \neg f\right) \wedge \left(a \vee b \vee f \vee \neg d \vee \neg f\right) \wedge \left(a \vee b \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee b \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee b \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(a \vee c \vee d \vee f \vee \neg a\right) \wedge \left(a \vee c \vee d \vee f \vee \neg b\right) \wedge \left(a \vee c \vee d \vee f \vee \neg c\right) \wedge \left(a \vee c \vee d \vee f \vee \neg d\right) \wedge \left(a \vee c \vee d \vee f \vee \neg f\right) \wedge \left(a \vee c \vee d \vee \neg a \vee \neg c\right) \wedge \left(a \vee c \vee d \vee \neg a \vee \neg d\right) \wedge \left(a \vee c \vee d \vee \neg b \vee \neg c\right) \wedge \left(a \vee c \vee d \vee \neg b \vee \neg d\right) \wedge \left(a \vee c \vee d \vee \neg c \vee \neg f\right) \wedge \left(a \vee c \vee d \vee \neg d \vee \neg f\right) \wedge \left(a \vee c \vee f \vee \neg a \vee \neg c\right) \wedge \left(a \vee c \vee f \vee \neg a \vee \neg f\right) \wedge \left(a \vee c \vee f \vee \neg b \vee \neg c\right) \wedge \left(a \vee c \vee f \vee \neg b \vee \neg f\right) \wedge \left(a \vee c \vee f \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee f \vee \neg c \vee \neg f\right) \wedge \left(a \vee c \vee f \vee \neg d \vee \neg f\right) \wedge \left(a \vee c \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee \neg a \vee \neg c \vee \neg f\right) \wedge \left(a \vee c \vee \neg a \vee \neg d \vee \neg f\right) \wedge \left(a \vee c \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee c \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee c \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(a \vee c \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(a \vee d \vee f \vee \neg a \vee \neg b\right) \wedge \left(a \vee d \vee f \vee \neg a \vee \neg c\right) \wedge \left(a \vee d \vee f \vee \neg a \vee \neg d\right) \wedge \left(a \vee d \vee f \vee \neg b \vee \neg f\right) \wedge \left(a \vee d \vee f \vee \neg c \vee \neg f\right) \wedge \left(a \vee d \vee f \vee \neg d \vee \neg f\right) \wedge \left(a \vee d \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee d \vee \neg a \vee \neg b \vee \neg d\right) \wedge \left(a \vee d \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee d \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(a \vee f \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(a \vee f \vee \neg a \vee \neg b \vee \neg f\right) \wedge \left(a \vee f \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(a \vee f \vee \neg a \vee \neg c \vee \neg f\right) \wedge \left(a \vee f \vee \neg a \vee \neg d \vee \neg f\right) \wedge \left(a \vee f \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee f \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(a \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(a \vee \neg a \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(a \vee \neg a \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(a \vee \neg b \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(b \vee c \vee d \vee f \vee \neg b\right) \wedge \left(b \vee c \vee d \vee f \vee \neg c\right) \wedge \left(b \vee c \vee d \vee f \vee \neg d\right) \wedge \left(b \vee c \vee d \vee \neg b \vee \neg c\right) \wedge \left(b \vee c \vee d \vee \neg b \vee \neg d\right) \wedge \left(b \vee c \vee f \vee \neg b \vee \neg c\right) \wedge \left(b \vee c \vee f \vee \neg b \vee \neg f\right) \wedge \left(b \vee c \vee f \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee f \vee \neg c \vee \neg f\right) \wedge \left(b \vee c \vee f \vee \neg d \vee \neg f\right) \wedge \left(b \vee c \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(b \vee c \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(b \vee c \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(b \vee d \vee f \vee \neg b \vee \neg c\right) \wedge \left(b \vee d \vee f \vee \neg b \vee \neg d\right) \wedge \left(b \vee f \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(b \vee f \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(b \vee f \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(c \vee d \vee f \vee \neg a \vee \neg b\right) \wedge \left(c \vee d \vee f \vee \neg a \vee \neg c\right) \wedge \left(c \vee d \vee f \vee \neg a \vee \neg d\right) \wedge \left(c \vee d \vee f \vee \neg b \vee \neg c\right) \wedge \left(c \vee d \vee f \vee \neg b \vee \neg d\right) \wedge \left(c \vee d \vee f \vee \neg b \vee \neg f\right) \wedge \left(c \vee d \vee f \vee \neg c \vee \neg f\right) \wedge \left(c \vee d \vee f \vee \neg d \vee \neg f\right) \wedge \left(c \vee d \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(c \vee d \vee \neg a \vee \neg b \vee \neg d\right) \wedge \left(c \vee d \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(c \vee d \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(c \vee f \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(c \vee f \vee \neg a \vee \neg b \vee \neg f\right) \wedge \left(c \vee f \vee \neg a \vee \neg c \vee \neg d\right) \wedge \left(c \vee f \vee \neg a \vee \neg c \vee \neg f\right) \wedge \left(c \vee f \vee \neg a \vee \neg d \vee \neg f\right) \wedge \left(c \vee f \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(c \vee f \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(c \vee f \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(c \vee f \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(c \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(c \vee \neg a \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(c \vee \neg a \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(c \vee \neg b \vee \neg c \vee \neg d \vee \neg f\right) \wedge \left(d \vee f \vee \neg a \vee \neg b \vee \neg c\right) \wedge \left(d \vee f \vee \neg a \vee \neg b \vee \neg d\right) \wedge \left(d \vee f \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(d \vee f \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg b \vee \neg c \vee \neg d\right) \wedge \left(f \vee \neg a \vee \neg b \vee \neg c \vee \neg f\right) \wedge \left(f \vee \neg a \vee \neg b \vee \neg d \vee \neg f\right) \wedge \left(f \vee \neg b \vee \neg c \vee \neg d \vee \neg f\right) 
    (c∨(¬c))∧(f∨(¬f))∧(b∨d∨f)∧(c∨d∨f)∧(a∨c∨(¬c))∧(a∨f∨(¬f))∧(b∨c∨(¬c))∧(b∨f∨(¬c))∧(b∨f∨(¬f))∧(c∨d∨(¬c))∧(c∨d∨(¬d))∧(c∨f∨(¬c))∧(c∨f∨(¬f))∧(d∨f∨(¬a))∧(d∨f∨(¬f))∧(a∨b∨d∨f)∧(a∨c∨d∨f)∧(b∨c∨d∨f)∧(c∨(¬a)∨(¬c))∧(c∨(¬b)∨(¬c))∧(c∨(¬c)∨(¬d))∧(c∨(¬c)∨(¬f))∧(c∨(¬d)∨(¬f))∧(f∨(¬a)∨(¬c))∧(f∨(¬a)∨(¬f))∧(f∨(¬b)∨(¬f))∧(f∨(¬c)∨(¬f))∧(f∨(¬d)∨(¬f))∧(a∨b∨c∨(¬c))∧(a∨b∨f∨(¬c))∧(a∨b∨f∨(¬f))∧(a∨c∨d∨(¬c))∧(a∨c∨d∨(¬d))∧(a∨c∨f∨(¬c))∧(a∨c∨f∨(¬f))∧(a∨d∨f∨(¬a))∧(a∨d∨f∨(¬f))∧(b∨c∨d∨(¬c))∧(b∨c∨d∨(¬d))∧(b∨c∨f∨(¬c))∧(b∨c∨f∨(¬f))∧(b∨d∨f∨(¬b))∧(b∨d∨f∨(¬c))∧(b∨d∨f∨(¬d))∧(c∨d∨f∨(¬a))∧(c∨d∨f∨(¬b))∧(c∨d∨f∨(¬c))∧(c∨d∨f∨(¬d))∧(c∨d∨f∨(¬f))∧(a∨b∨c∨d∨f)∧(a∨b∨(¬b)∨(¬c))∧(a∨c∨(¬a)∨(¬c))∧(a∨c∨(¬b)∨(¬c))∧(a∨c∨(¬c)∨(¬d))∧(a∨c∨(¬c)∨(¬f))∧(a∨c∨(¬d)∨(¬f))∧(a∨f∨(¬a)∨(¬c))∧(a∨f∨(¬a)∨(¬f))∧(a∨f∨(¬b)∨(¬f))∧(a∨f∨(¬c)∨(¬f))∧(a∨f∨(¬d)∨(¬f))∧(b∨c∨(¬b)∨(¬c))∧(b∨c∨(¬c)∨(¬d))∧(b∨c∨(¬c)∨(¬f))∧(b∨c∨(¬d)∨(¬f))∧(b∨f∨(¬b)∨(¬c))∧(b∨f∨(¬b)∨(¬f))∧(b∨f∨(¬c)∨(¬d))∧(b∨f∨(¬c)∨(¬f))∧(b∨f∨(¬d)∨(¬f))∧(c∨d∨(¬a)∨(¬c))∧(c∨d∨(¬a)∨(¬d))∧(c∨d∨(¬b)∨(¬c))∧(c∨d∨(¬b)∨(¬d))∧(c∨d∨(¬c)∨(¬f))∧(c∨d∨(¬d)∨(¬f))∧(c∨f∨(¬a)∨(¬c))∧(c∨f∨(¬a)∨(¬f))∧(c∨f∨(¬b)∨(¬c))∧(c∨f∨(¬b)∨(¬f))∧(c∨f∨(¬c)∨(¬d))∧(c∨f∨(¬c)∨(¬f))∧(c∨f∨(¬d)∨(¬f))∧(d∨f∨(¬a)∨(¬b))∧(d∨f∨(¬a)∨(¬c))∧(d∨f∨(¬a)∨(¬d))∧(d∨f∨(¬b)∨(¬f))∧(d∨f∨(¬c)∨(¬f))∧(d∨f∨(¬d)∨(¬f))∧(a∨b∨c∨d∨(¬c))∧(a∨b∨c∨d∨(¬d))∧(a∨b∨c∨f∨(¬c))∧(a∨b∨c∨f∨(¬f))∧(a∨b∨d∨f∨(¬b))∧(a∨b∨d∨f∨(¬c))∧(a∨b∨d∨f∨(¬d))∧(a∨c∨d∨f∨(¬a))∧(a∨c∨d∨f∨(¬b))∧(a∨c∨d∨f∨(¬c))∧(a∨c∨d∨f∨(¬d))∧(a∨c∨d∨f∨(¬f))∧(b∨c∨d∨f∨(¬b))∧(b∨c∨d∨f∨(¬c))∧(b∨c∨d∨f∨(¬d))∧(a∨(¬a)∨(¬b)∨(¬c))∧(a∨(¬b)∨(¬c)∨(¬f))∧(a∨(¬b)∨(¬d)∨(¬f))∧(c∨(¬a)∨(¬b)∨(¬c))∧(c∨(¬a)∨(¬c)∨(¬d))∧(c∨(¬a)∨(¬c)∨(¬f))∧(c∨(¬a)∨(¬d)∨(¬f))∧(c∨(¬b)∨(¬c)∨(¬d))∧(c∨(¬b)∨(¬c)∨(¬f))∧(c∨(¬b)∨(¬d)∨(¬f))∧(c∨(¬c)∨(¬d)∨(¬f))∧(f∨(¬a)∨(¬b)∨(¬c))∧(f∨(¬a)∨(¬b)∨(¬f))∧(f∨(¬a)∨(¬c)∨(¬d))∧(f∨(¬a)∨(¬c)∨(¬f))∧(f∨(¬a)∨(¬d)∨(¬f))∧(f∨(¬b)∨(¬c)∨(¬f))∧(f∨(¬b)∨(¬d)∨(¬f))∧(f∨(¬c)∨(¬d)∨(¬f))∧(a∨b∨c∨(¬c)∨(¬d))∧(a∨b∨c∨(¬c)∨(¬f))∧(a∨b∨c∨(¬d)∨(¬f))∧(a∨b∨d∨(¬b)∨(¬c))∧(a∨b∨d∨(¬b)∨(¬d))∧(a∨b∨f∨(¬b)∨(¬c))∧(a∨b∨f∨(¬b)∨(¬f))∧(a∨b∨f∨(¬c)∨(¬d))∧(a∨b∨f∨(¬c)∨(¬f))∧(a∨b∨f∨(¬d)∨(¬f))∧(a∨c∨d∨(¬a)∨(¬c))∧(a∨c∨d∨(¬a)∨(¬d))∧(a∨c∨d∨(¬b)∨(¬c))∧(a∨c∨d∨(¬b)∨(¬d))∧(a∨c∨d∨(¬c)∨(¬f))∧(a∨c∨d∨(¬d)∨(¬f))∧(a∨c∨f∨(¬a)∨(¬c))∧(a∨c∨f∨(¬a)∨(¬f))∧(a∨c∨f∨(¬b)∨(¬c))∧(a∨c∨f∨(¬b)∨(¬f))∧(a∨c∨f∨(¬c)∨(¬d))∧(a∨c∨f∨(¬c)∨(¬f))∧(a∨c∨f∨(¬d)∨(¬f))∧(a∨d∨f∨(¬a)∨(¬b))∧(a∨d∨f∨(¬a)∨(¬c))∧(a∨d∨f∨(¬a)∨(¬d))∧(a∨d∨f∨(¬b)∨(¬f))∧(a∨d∨f∨(¬c)∨(¬f))∧(a∨d∨f∨(¬d)∨(¬f))∧(b∨c∨d∨(¬b)∨(¬c))∧(b∨c∨d∨(¬b)∨(¬d))∧(b∨c∨f∨(¬b)∨(¬c))∧(b∨c∨f∨(¬b)∨(¬f))∧(b∨c∨f∨(¬c)∨(¬d))∧(b∨c∨f∨(¬c)∨(¬f))∧(b∨c∨f∨(¬d)∨(¬f))∧(b∨d∨f∨(¬b)∨(¬c))∧(b∨d∨f∨(¬b)∨(¬d))∧(c∨d∨f∨(¬a)∨(¬b))∧(c∨d∨f∨(¬a)∨(¬c))∧(c∨d∨f∨(¬a)∨(¬d))∧(c∨d∨f∨(¬b)∨(¬c))∧(c∨d∨f∨(¬b)∨(¬d))∧(c∨d∨f∨(¬b)∨(¬f))∧(c∨d∨f∨(¬c)∨(¬f))∧(c∨d∨f∨(¬d)∨(¬f))∧(a∨b∨(¬b)∨(¬c)∨(¬d))∧(a∨b∨(¬b)∨(¬c)∨(¬f))∧(a∨b∨(¬b)∨(¬d)∨(¬f))∧(a∨c∨(¬a)∨(¬c)∨(¬d))∧(a∨c∨(¬a)∨(¬c)∨(¬f))∧(a∨c∨(¬a)∨(¬d)∨(¬f))∧(a∨c∨(¬b)∨(¬c)∨(¬d))∧(a∨c∨(¬b)∨(¬c)∨(¬f))∧(a∨c∨(¬b)∨(¬d)∨(¬f))∧(a∨c∨(¬c)∨(¬d)∨(¬f))∧(a∨d∨(¬a)∨(¬b)∨(¬c))∧(a∨d∨(¬a)∨(¬b)∨(¬d))∧(a∨d∨(¬b)∨(¬c)∨(¬f))∧(a∨d∨(¬b)∨(¬d)∨(¬f))∧(a∨f∨(¬a)∨(¬b)∨(¬c))∧(a∨f∨(¬a)∨(¬b)∨(¬f))∧(a∨f∨(¬a)∨(¬c)∨(¬d))∧(a∨f∨(¬a)∨(¬c)∨(¬f))∧(a∨f∨(¬a)∨(¬d)∨(¬f))∧(a∨f∨(¬b)∨(¬c)∨(¬f))∧(a∨f∨(¬c)∨(¬d)∨(¬f))∧(b∨c∨(¬b)∨(¬c)∨(¬d))∧(b∨c∨(¬b)∨(¬c)∨(¬f))∧(b∨c∨(¬b)∨(¬d)∨(¬f))∧(b∨f∨(¬b)∨(¬c)∨(¬d))∧(b∨f∨(¬b)∨(¬c)∨(¬f))∧(b∨f∨(¬b)∨(¬d)∨(¬f))∧(c∨d∨(¬a)∨(¬b)∨(¬c))∧(c∨d∨(¬a)∨(¬b)∨(¬d))∧(c∨d∨(¬b)∨(¬c)∨(¬f))∧(c∨d∨(¬b)∨(¬d)∨(¬f))∧(c∨f∨(¬a)∨(¬b)∨(¬c))∧(c∨f∨(¬a)∨(¬b)∨(¬f))∧(c∨f∨(¬a)∨(¬c)∨(¬d))∧(c∨f∨(¬a)∨(¬c)∨(¬f))∧(c∨f∨(¬a)∨(¬d)∨(¬f))∧(c∨f∨(¬b)∨(¬c)∨(¬d))∧(c∨f∨(¬b)∨(¬c)∨(¬f))∧(c∨f∨(¬b)∨(¬d)∨(¬f))∧(c∨f∨(¬c)∨(¬d)∨(¬f))∧(d∨f∨(¬a)∨(¬b)∨(¬c))∧(d∨f∨(¬a)∨(¬b)∨(¬d))∧(d∨f∨(¬b)∨(¬c)∨(¬f))∧(d∨f∨(¬b)∨(¬d)∨(¬f))∧(a∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(a∨(¬a)∨(¬b)∨(¬c)∨(¬f))∧(a∨(¬a)∨(¬b)∨(¬d)∨(¬f))∧(a∨(¬b)∨(¬c)∨(¬d)∨(¬f))∧(c∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(c∨(¬a)∨(¬b)∨(¬c)∨(¬f))∧(c∨(¬a)∨(¬b)∨(¬d)∨(¬f))∧(c∨(¬b)∨(¬c)∨(¬d)∨(¬f))∧(f∨(¬a)∨(¬b)∨(¬c)∨(¬d))∧(f∨(¬a)∨(¬b)∨(¬c)∨(¬f))∧(f∨(¬a)∨(¬b)∨(¬d)∨(¬f))∧(f∨(¬b)∨(¬c)∨(¬d)∨(¬f))
    FNDP [src]
    (a∧c∧f)∨(c∧f∧¬b)∨(d∧¬c∧¬f)∨(f∧¬c∧¬d)∨(b∧c∧¬a∧¬f)\left(a \wedge c \wedge f\right) \vee \left(c \wedge f \wedge \neg b\right) \vee \left(d \wedge \neg c \wedge \neg f\right) \vee \left(f \wedge \neg c \wedge \neg d\right) \vee \left(b \wedge c \wedge \neg a \wedge \neg f\right) 
    (a∧c∧f)∨(c∧f∧(¬b))∨(d∧(¬c)∧(¬f))∨(f∧(¬c)∧(¬d))∨(b∧c∧(¬a)∧(¬f))
    © Sr Examen – Калькулятор