Expresión ~(P→Q)

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

⌨

Solución

Ha introducido [src]

¬(p⇒q)

p \not\Rightarrow q

Solución detallada

p \Rightarrow q = q \vee \neg p

p \not\Rightarrow q = p \wedge \neg q

Simplificación [src]

p \wedge \neg q

p∧(¬q)

Tabla de verdad

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

FNCD [src]

p \wedge \neg q

p∧(¬q)

FND [src]

Ya está reducido a FND

p \wedge \neg q

p∧(¬q)

FNC [src]

Ya está reducido a FNC

p \wedge \neg q

p∧(¬q)

FNDP [src]

p \wedge \neg q

p∧(¬q)

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión ~(P→Q)

Solución