Sr Examen

  • ¿Cómo usar?

  • Expresión:
  • P∧(Q→R)
  • (¬P∨Q)→Q
  • (~P∨Q)∨(~R∧~Q)
  • (~P∧~Q∧~R)∨(~P∧Q∧R)∨(~P∧Q∧~R)∨(P∧~Q∧~R)∨(P∧~Q∧R)

  • Expresiones idénticas

  • (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))
  • (((x0 módulo de x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))
  • x0|x0|x1|x1|x0|x0|x2|x2|x0|x0x4|x4|x1|x1|x2|x2|x1|x1|x3|x3|x2|x2x4|x4|x3|x3x4|x4|x0|x0|x3|x1|x1|x4|x2|x2|x3|x4|x4|x1|x1|x3|x3|x4|x3|x3|x0|x2|x0|x1|x2|x0|x2|x4
Lógica matemática/ (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))

Expresión (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))

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

⌨

    Solución

    Ha introducido [src] 
    ((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)∧(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)∧(x4|x4))|((x3|x3)∧(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4)
    ((x0∣x0)∣(x1∣x1))∣((x0∣x0)∣(x2∣x2))∣((x0∣x0)∧(x4∣x4))∣((x1∣x1)∣(x2∣x2))∣((x1∣x1)∣(x3∣x3))∣((x2∣x2)∧(x4∣x4))∣((x3∣x3)∧(x4∣x4))∣((x0∣x0)∣x3)∣((x1∣x1)∣x4)∣((x2∣x2)∣x3)∣((x4∣x4)∣x1)∣(x1∣x3)∣(x3∣x4)∣((x3∣x3)∣x0∣x2)∣(x0∣x1∣x2)∣(x0∣x2∣x4)\left(\left(x_{0} | x_{0}\right) | \left(x_{1} | x_{1}\right)\right) | \left(\left(x_{0} | x_{0}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{0} | x_{0}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{3} | x_{3}\right)\right) | \left(\left(x_{2} | x_{2}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{3} | x_{3}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{0} | x_{0}\right) | x_{3}\right) | \left(\left(x_{1} | x_{1}\right) | x_{4}\right) | \left(\left(x_{2} | x_{2}\right) | x_{3}\right) | \left(\left(x_{4} | x_{4}\right) | x_{1}\right) | \left(x_{1} | x_{3}\right) | \left(x_{3} | x_{4}\right) | \left(\left(x_{3} | x_{3}\right) | x_{0} | x_{2}\right) | \left(x_{0} | x_{1} | x_{2}\right) | \left(x_{0} | x_{2} | x_{4}\right)

    Вы использовали:
    | - Не-и (штрих Шеффера).
    Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
    Посмотреть с символом ∨
    Solución detallada
    x0∣x0=¬x0x_{0} | x_{0} = \neg x_{0}
    x1∣x1=¬x1x_{1} | x_{1} = \neg x_{1}
    (x0∣x0)∣(x1∣x1)=x0∨x1\left(x_{0} | x_{0}\right) | \left(x_{1} | x_{1}\right) = x_{0} \vee x_{1}
    x2∣x2=¬x2x_{2} | x_{2} = \neg x_{2}
    (x0∣x0)∣(x2∣x2)=x0∨x2\left(x_{0} | x_{0}\right) | \left(x_{2} | x_{2}\right) = x_{0} \vee x_{2}
    x4∣x4=¬x4x_{4} | x_{4} = \neg x_{4}
    (x0∣x0)∧(x4∣x4)=¬x0∧¬x4\left(x_{0} | x_{0}\right) \wedge \left(x_{4} | x_{4}\right) = \neg x_{0} \wedge \neg x_{4}
    (x1∣x1)∣(x2∣x2)=x1∨x2\left(x_{1} | x_{1}\right) | \left(x_{2} | x_{2}\right) = x_{1} \vee x_{2}
    x3∣x3=¬x3x_{3} | x_{3} = \neg x_{3}
    (x1∣x1)∣(x3∣x3)=x1∨x3\left(x_{1} | x_{1}\right) | \left(x_{3} | x_{3}\right) = x_{1} \vee x_{3}
    (x2∣x2)∧(x4∣x4)=¬x2∧¬x4\left(x_{2} | x_{2}\right) \wedge \left(x_{4} | x_{4}\right) = \neg x_{2} \wedge \neg x_{4}
    (x3∣x3)∧(x4∣x4)=¬x3∧¬x4\left(x_{3} | x_{3}\right) \wedge \left(x_{4} | x_{4}\right) = \neg x_{3} \wedge \neg x_{4}
    (x0∣x0)∣x3=x0∨¬x3\left(x_{0} | x_{0}\right) | x_{3} = x_{0} \vee \neg x_{3}
    (x1∣x1)∣x4=x1∨¬x4\left(x_{1} | x_{1}\right) | x_{4} = x_{1} \vee \neg x_{4}
    (x2∣x2)∣x3=x2∨¬x3\left(x_{2} | x_{2}\right) | x_{3} = x_{2} \vee \neg x_{3}
    (x4∣x4)∣x1=x4∨¬x1\left(x_{4} | x_{4}\right) | x_{1} = x_{4} \vee \neg x_{1}
    x1∣x3=¬x1∨¬x3x_{1} | x_{3} = \neg x_{1} \vee \neg x_{3}
    x3∣x4=¬x3∨¬x4x_{3} | x_{4} = \neg x_{3} \vee \neg x_{4}
    (x3∣x3)∣x0∣x2=x3∨¬x0∨¬x2\left(x_{3} | x_{3}\right) | x_{0} | x_{2} = x_{3} \vee \neg x_{0} \vee \neg x_{2}
    x0∣x1∣x2=¬x0∨¬x1∨¬x2x_{0} | x_{1} | x_{2} = \neg x_{0} \vee \neg x_{1} \vee \neg x_{2}
    x0∣x2∣x4=¬x0∨¬x2∨¬x4x_{0} | x_{2} | x_{4} = \neg x_{0} \vee \neg x_{2} \vee \neg x_{4}
    ((x0∣x0)∣(x1∣x1))∣((x0∣x0)∣(x2∣x2))∣((x0∣x0)∧(x4∣x4))∣((x1∣x1)∣(x2∣x2))∣((x1∣x1)∣(x3∣x3))∣((x2∣x2)∧(x4∣x4))∣((x3∣x3)∧(x4∣x4))∣((x0∣x0)∣x3)∣((x1∣x1)∣x4)∣((x2∣x2)∣x3)∣((x4∣x4)∣x1)∣(x1∣x3)∣(x3∣x4)∣((x3∣x3)∣x0∣x2)∣(x0∣x1∣x2)∣(x0∣x2∣x4)=1\left(\left(x_{0} | x_{0}\right) | \left(x_{1} | x_{1}\right)\right) | \left(\left(x_{0} | x_{0}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{0} | x_{0}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{3} | x_{3}\right)\right) | \left(\left(x_{2} | x_{2}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{3} | x_{3}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{0} | x_{0}\right) | x_{3}\right) | \left(\left(x_{1} | x_{1}\right) | x_{4}\right) | \left(\left(x_{2} | x_{2}\right) | x_{3}\right) | \left(\left(x_{4} | x_{4}\right) | x_{1}\right) | \left(x_{1} | x_{3}\right) | \left(x_{3} | x_{4}\right) | \left(\left(x_{3} | x_{3}\right) | x_{0} | x_{2}\right) | \left(x_{0} | x_{1} | x_{2}\right) | \left(x_{0} | x_{2} | x_{4}\right) = 1
    Simplificación [src]
    1 
    1
    Tabla de verdad 
    +----+----+----+----+----+--------+
| x0 | x1 | x2 | x3 | x4 | result |
+====+====+====+====+====+========+
| 0  | 0  | 0  | 0  | 0  | 1      |
+----+----+----+----+----+--------+
| 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  | 1      |
+----+----+----+----+----+--------+
| 0  | 1  | 1  | 1  | 0  | 1      |
+----+----+----+----+----+--------+
| 0  | 1  | 1  | 1  | 1  | 1      |
+----+----+----+----+----+--------+
| 1  | 0  | 0  | 0  | 0  | 1      |
+----+----+----+----+----+--------+
| 1  | 0  | 0  | 0  | 1  | 1      |
+----+----+----+----+----+--------+
| 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  | 1      |
+----+----+----+----+----+--------+
| 1  | 1  | 1  | 1  | 0  | 1      |
+----+----+----+----+----+--------+
| 1  | 1  | 1  | 1  | 1  | 1      |
+----+----+----+----+----+--------+
    FNC [src]
    Ya está reducido a FNC
    1 
    1
    FND [src]
    Ya está reducido a FND
    1 
    1
    FNCD [src]
    1 
    1
    FNDP [src]
    1 
    1
    © Sr Examen – Калькулятор