Leyes de De Morgan
De Wikipedia, la enciclopedia libre
Las leyes de De Morgan son una parte de la Lógica proposicional y fue creadas por Augustus De Morgan (1806-1871).
[editar] Las leyes
[editar] Prueba
Hay que utilizar las tablas de valores de verdad
![]() |
|||||||||
A | B | ![]() |
![]() |
![]() |
![]() |
![]() |
|||
0 | 0 | 0 | 1 | 1 | 1 | 1 | |||
0 | 1 | 1 | 0 | 1 | 0 | 0 | |||
1 | 0 | 1 | 0 | 0 | 1 | 0 | |||
1 | 1 | 1 | 0 | 0 | 0 | 0 |
[editar] Con n proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes y
.
- Verdad por n=2
- Si verdad por n