Sr Examen

Lang:

¿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
(~P∧~Q∧~R)∨(~P∧Q∧R)∨(~P∧Q∧~R)∨(P∧~Q∧~R)∨(P∧~Q∧R)
~P∧~Q∧~R∨~P∧Q∧R∨~P∧Q∧~R∨P∧~Q∧~R∨P∧~Q∧R

Lógica matemática/ (~P∧~Q∧~R)∨(~P∧Q∧R)∨(~P∧Q∧~R)∨(P∧~Q∧~R)∨(P∧~Q∧R)

Expresión (~P∧~Q∧~R)∨(~P∧Q∧R)∨(~P∧Q∧~R)∨(P∧~Q∧~R)∨(P∧~Q∧R)

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

⌨

Solución

Ha introducido [src]

(p∧r∧(¬q))∨(q∧r∧(¬p))∨(p∧(¬q)∧(¬r))∨(q∧(¬p)∧(¬r))∨((¬p)∧(¬q)∧(¬r))

\left(p \wedge r \wedge \neg q\right) \vee \left(p \wedge \neg q \wedge \neg r\right) \vee \left(q \wedge r \wedge \neg p\right) \vee \left(q \wedge \neg p \wedge \neg r\right) \vee \left(\neg p \wedge \neg q \wedge \neg r\right)

Solución detallada

\left(p \wedge r \wedge \neg q\right) \vee \left(p \wedge \neg q \wedge \neg r\right) \vee \left(q \wedge r \wedge \neg p\right) \vee \left(q \wedge \neg p \wedge \neg r\right) \vee \left(\neg p \wedge \neg q \wedge \neg r\right) = \left(p \wedge \neg q\right) \vee \left(q \wedge \neg p\right) \vee \left(\neg p \wedge \neg r\right)

Simplificación [src]

\left(p \wedge \neg q\right) \vee \left(q \wedge \neg p\right) \vee \left(\neg p \wedge \neg r\right)

(p∧(¬q))∨(q∧(¬p))∨((¬p)∧(¬r))

Tabla de verdad

+---+---+---+--------+
| p | q | r | result |
+===+===+===+========+
| 0 | 0 | 0 | 1      |
+---+---+---+--------+
| 0 | 0 | 1 | 0      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 1      |
+---+---+---+--------+
| 1 | 0 | 0 | 1      |
+---+---+---+--------+
| 1 | 0 | 1 | 1      |
+---+---+---+--------+
| 1 | 1 | 0 | 0      |
+---+---+---+--------+
| 1 | 1 | 1 | 0      |
+---+---+---+--------+

FNCD [src]

\left(\neg p \vee \neg q\right) \wedge \left(p \vee q \vee \neg r\right)

((¬p)∨(¬q))∧(p∨q∨(¬r))

FND [src]

Ya está reducido a FND

\left(p \wedge \neg q\right) \vee \left(q \wedge \neg p\right) \vee \left(\neg p \wedge \neg r\right)

(p∧(¬q))∨(q∧(¬p))∨((¬p)∧(¬r))

FNDP [src]

\left(p \wedge \neg q\right) \vee \left(q \wedge \neg p\right) \vee \left(\neg p \wedge \neg r\right)

(p∧(¬q))∨(q∧(¬p))∨((¬p)∧(¬r))

FNC [src]

\left(p \vee \neg p\right) \wedge \left(\neg p \vee \neg q\right) \wedge \left(p \vee q \vee \neg p\right) \wedge \left(p \vee q \vee \neg r\right) \wedge \left(p \vee \neg p \vee \neg r\right) \wedge \left(q \vee \neg p \vee \neg q\right) \wedge \left(q \vee \neg q \vee \neg r\right) \wedge \left(\neg p \vee \neg q \vee \neg r\right)

(p∨(¬p))∧((¬p)∨(¬q))∧(p∨q∨(¬p))∧(p∨q∨(¬r))∧(p∨(¬p)∨(¬r))∧(q∨(¬p)∨(¬q))∧(q∨(¬q)∨(¬r))∧((¬p)∨(¬q)∨(¬r))

¿Cómo usar?

Expresiones idénticas

Expresión (~P∧~Q∧~R)∨(~P∧Q∧R)∨(~P∧Q∧~R)∨(P∧~Q∧~R)∨(P∧~Q∧R)

Solución