Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo de Logica PDF
Modulo de Logica PDF
Ley de Morgan
a) 1) \a; b B; (a +b)
c
= a
c
b
c
2) \a; b B; (ab)
c
= a
c
+b
c
Prueba (i): Sea a; b B (a +b) + a
c
b
c
= a + (b +a
c
b
c
) = a +
(b +a
c
)(b +b
c
)
= a + (b + a
c
)1 =
a +b +a
c
= a +a
c
+b = 1 +b = 1
con esto por la unicidad del complemento (a +b)
c
= a
c
b
c