Expresión (¬x∨1)∨(x→y)(¬x∨1)∨(x→y)

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

⌨

Ha introducido [src]

True

True

Simplificación [src]

Tabla de verdad

+--------+
| result |
+========+
| 1      |
+--------+

FNDP [src]

FNCD [src]

FND [src]

Ya está reducido a FND

FNC [src]

Ya está reducido a FNC

Expresión ﻿(¬x∨1)∨(x→y)(¬x∨1)∨(x→y)﻿