Está en la página 1de 4

Alumno: Erik Ulises Flores Contreras.

Profesor(a):

Fecha:

Materia:

Curso propedéutico

Licenciatura en informática
-Desarrollo

A^(B v A) ≡ A
A B BvA A^(B v A) A^(B v A) ≡ A
V V V V V
V F V V V
F V V F ¿?
F F F F ¿?

A^F ≡ A
A F A^F A^F ≡ A
V F F F
F F F F

A^V ≡ A
A V A^V A^V ≡ A
V V V V
F V F V

A^¬A ≡ F
A ¬A A^¬A A^¬A ≡ F
V F F V
F V F V

A^A ≡ A
A A^A A^A ≡ A
V V V
F F V

A^B ≡ B^A
A B A^B B^A A^B ≡ B^A
V V V V V
V F F F V
F V F F V
F F F F V
A^(B^C) ≡ (A^B)^C
A B C B^C A^(B^C) A^B (A^B)^C A^(B^C) ≡ (A^B)^C
V V V V V V V V
V V F F F V F V
V F V F F F F V
V F F F F F F V
F V V V F F F V
F V F F F F F V
F F V F F F F V
F F F F F F F V

Av(B^C) ≡ (A v B)^(A v C)
A B C B^C Av(B^C) AvB AvC (A v B)^(A v C) Av(B^C) ≡ (A v B)^(A v C)
V V V V V V V V V
V V F F V V V V V
V F V F V V V V V
V F F F V V V V V
F V V V V V V V V
F V F F F V F F V
F F V F F F V F V
F F F F F F F F V

¬(A v B) ≡ ¬A v ¬B
A B ¬A ¬B AvB ¬(A v B) ¬A v ¬B ¬(A v B) ≡ ¬A v ¬B
V V F F V F F V
V F F V V F V ¿?
F V V F V F V ¿?
F F V V F V V V

¬¬A ≡ A
A ¬A ¬¬A ¬¬A ≡ A
V F V V
F V F V

También podría gustarte