Trabajo Asincronico 3
Trabajo Asincronico 3
Trabajo Asincronico 3
Trabajo Asincrónico 2
algebra proposicional)
UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN
A B
p q r s ¬s (p ꓥ q) (¬ s→ r) [A → r] AꓥB
0 0 0 0 1 0 0 1 0
0 0 0 1 0 0 1 1 1
0 0 1 0 1 0 1 1 1
0 0 1 1 0 0 1 1 1
0 1 0 0 1 0 0 1 0
0 1 0 1 0 0 1 1 1
0 1 1 0 1 0 1 1 1
0 1 1 1 0 0 1 1 1
1 0 0 0 1 0 0 1 0
1 0 0 1 0 0 1 1 1
1 0 1 0 1 0 1 1 1
1 0 1 1 0 0 1 1 1
1 1 0 0 1 1 0 0 0
1 1 0 1 0 1 1 0 0
1 1 1 0 1 1 1 1 1
1 1 1 1 0 1 1 1 1
A B
p q r s ¬p ¬q ¬r A B A→r AꓥB
0 0 0 0 1 1 1 1 0 0 0
0 0 0 1 1 1 1 1 1 0 0
0 0 1 0 1 1 0 1 1 1 1
0 0 1 1 1 1 0 1 1 1 1
0 1 0 0 1 0 1 0 0 1 0
0 1 0 1 1 0 1 0 1 1 1
0 1 1 0 1 0 0 0 1 1 1
0 1 1 1 1 0 0 0 1 1 1
1 0 0 0 0 1 1 0 0 1 0
1 0 0 1 0 1 1 0 1 1 1
1 0 1 0 0 1 0 0 1 1 1
1 0 1 1 0 1 0 0 1 1 1
1 1 0 0 0 0 1 0 0 1 0
1 1 0 1 0 0 1 0 1 1 1
1 1 1 0 0 0 0 0 1 1 1
1 1 1 1 0 0 0 0 1 1 1
A B
p q r s ¬s A B A→r AꓥB
0 0 0 0 1 0 1 1 1
0 0 0 1 0 0 1 1 1
0 0 1 0 1 0 1 1 1
0 0 1 1 0 0 0 1 0
0 1 0 0 1 0 1 1 1
0 1 0 1 0 0 1 1 1
0 1 1 0 1 0 1 1 1
0 1 1 1 0 0 0 1 0
1 0 0 0 1 0 1 1 1
1 0 0 1 0 0 1 1 1
1 0 1 0 1 0 1 1 1
1 0 1 1 0 0 0 1 0
1 1 0 0 1 1 1 0 0
1 1 0 1 0 1 1 0 0
1 1 1 0 1 1 1 1 1
1 1 1 1 0 1 0 1 0
A B
p q r s A B A→r AꓥB
0 0 0 0 0 0 1 0
0 0 0 1 0 0 1 0
0 0 1 0 0 1 1 1
0 0 1 1 0 1 1 1
0 1 0 0 0 0 1 0
0 1 0 1 0 0 1 0
0 1 1 0 0 1 1 1
0 1 1 1 0 1 1 1
1 0 0 0 0 0 1 0
1 0 0 1 0 0 1 0
1 0 1 0 0 1 1 1
1 0 1 1 0 1 1 1
1 1 0 0 1 1 0 0
1 1 0 1 1 1 0 0
1 1 1 0 1 1 1 1
1 1 1 1 1 1 0 0
B C D
A
p q r s ¬r B C D BꓥC AꓥD
0 0 0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1 1
0 0 1 0 0 1 1 0 1 0
0 0 1 1 0 1 1 1 1 1
0 1 0 0 1 1 0 1 0 0
0 1 0 1 1 1 0 1 0 0
0 1 1 0 0 1 1 0 1 0
0 1 1 1 0 1 1 1 1 1
1 0 0 0 1 0 1 1 0 0
1 0 0 1 1 0 1 1 0 0
1 0 1 0 0 1 1 0 1 0
1 0 1 1 0 1 1 1 1 1
1 1 0 0 1 0 0 1 0 0
1 1 0 1 1 0 0 1 0 0
1 1 1 0 0 1 1 0 1 0
1 1 1 1 0 1 1 1 1 1
C D
A B
p q r A B A→r p→B C↔D
0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 0 1 1 1
0 1 1 0 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
equivalencia lógica.