Ya gente, aqui tengo las propiedaes que son elementales para la simplificacion de proposiciones (logica) de algebra U.u aun toy medio colgado pondre algunos ejercicios para que los desarrollemos atravez de comentarios…
1.- Doble negación.
a). .(p’)’ º p
2.- Leyes conmutativas.
a). (p Ú q) º (q Ú p)
b). (p Ù q) º (q Ù p)
3.- Leyes asociativas.
a). [(p Ú q) Ú r] º [p Ú (q Ú r)]
b. [(pÙ q) Ù r] º [pÙ (qÙ r)]
4.- Leyes distributivas.
a). [p Ú (qÙ r)] º [(p Ú q) Ù (p Ú r)]
b). [p Ù (q Ú r)] º [(pÙ q) Ú (pÙ r)]
5.- Leyes de idempotencia.
a). (p Ú p) º p
b). (p Ù p) º p
6.- Leyes de Morgan
a). (p Ú q)’ º (p’ Ù q’)
b). (p Ù q)’ º (p’ Ú q’)
c). (p Ú q) º (p’ Ù q’)’
d). (pÙ q) º (p’ Ú q’)’
7.- Contrapositiva.
a). (p® q) º (q’® p’ )
8.- Implicación.
a). (p® q) º (p’ Ú q)
b). (p® q) º (p Ù q’)’
c). (p Ú q) º (p’® q)
d). (p Ù q) º (p ® q’)’
e). [(p® r) Ù (q® r)] º [(p Ú q) ® r]
f). [(p® q) Ù (p® r)] º [p® (q Ù r)]
9.- Equivalencia
a). (p« q) º [(p® q) Ù (q® p)]
10.- Ley de identidad
a). (p Ú f) º p
b). (p Ú t) º t
c). (q Ù t) º q
d). (q Ù f) º f
11.- Ley de Complementos
a). (p Ú p’) º t
b). (p Ù p’) º f
c). .t ’ º f
d). .f ‘ º t