Sr Examen
Lógica matemática/ not(x1x2x3)o

Expresión not(x1x2x3)o

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

⌨

    Solución

    Ha introducido [src] 
    o∧(¬(x1∧x2∧x3))
    o∧¬(x1∧x2∧x3)o \wedge \neg \left(x_{1} \wedge x_{2} \wedge x_{3}\right)
    Solución detallada
    ¬(x1∧x2∧x3)=¬x1∨¬x2∨¬x3\neg \left(x_{1} \wedge x_{2} \wedge x_{3}\right) = \neg x_{1} \vee \neg x_{2} \vee \neg x_{3}
    o∧¬(x1∧x2∧x3)=o∧(¬x1∨¬x2∨¬x3)o \wedge \neg \left(x_{1} \wedge x_{2} \wedge x_{3}\right) = o \wedge \left(\neg x_{1} \vee \neg x_{2} \vee \neg x_{3}\right)
    Simplificación [src]
    o∧(¬x1∨¬x2∨¬x3)o \wedge \left(\neg x_{1} \vee \neg x_{2} \vee \neg x_{3}\right) 
    o∧((¬x1)∨(¬x2)∨(¬x3))
    Tabla de verdad 
    +---+----+----+----+--------+
| o | x1 | x2 | x3 | 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  | 1      |
+---+----+----+----+--------+
| 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  | 0      |
+---+----+----+----+--------+
    FNC [src]
    Ya está reducido a FNC
    o∧(¬x1∨¬x2∨¬x3)o \wedge \left(\neg x_{1} \vee \neg x_{2} \vee \neg x_{3}\right) 
    o∧((¬x1)∨(¬x2)∨(¬x3))
    FNDP [src]
    (o∧¬x1)∨(o∧¬x2)∨(o∧¬x3)\left(o \wedge \neg x_{1}\right) \vee \left(o \wedge \neg x_{2}\right) \vee \left(o \wedge \neg x_{3}\right) 
    (o∧(¬x1))∨(o∧(¬x2))∨(o∧(¬x3))
    FND [src]
    (o∧¬x1)∨(o∧¬x2)∨(o∧¬x3)\left(o \wedge \neg x_{1}\right) \vee \left(o \wedge \neg x_{2}\right) \vee \left(o \wedge \neg x_{3}\right) 
    (o∧(¬x1))∨(o∧(¬x2))∨(o∧(¬x3))
    FNCD [src]
    o∧(¬x1∨¬x2∨¬x3)o \wedge \left(\neg x_{1} \vee \neg x_{2} \vee \neg x_{3}\right) 
    o∧((¬x1)∨(¬x2)∨(¬x3))
    © Sr Examen – Калькулятор