Ir al contenido

Usuario:Andrespbz/e11

De Wikilibros, la colección de libros de texto de contenido libre.

Utilizando esas definiciones y las leyes de lógica matemática, demostrar la siguiente tautología

 

)  ( p ® r ) Ú ( q ® r )   Û   ( p Ù q ) ® r

            ( p ® r ) Ú ( q ® r )   Û   ( p’ Ú r ) Ú ( q’ Ú r )       ( Definición )

                                                 Û   p’ Ú ( r Ú ( q’ Ú r ) )      ( Asociatividad )

                                                 Û   p’ Ú ( ( r Ú q’ ) Ú r )      ( Asociatividad )

                                                 Û   p’ Ú ( ( q’ Ú r ) Ú r )      ( Conmutatividad )

                                                 Û   p’ Ú ( q’ Ú ( r Ú r ) )      ( Asociatividad )

                                                 Û   p’ Ú ( q’ Ú r )                 ( Idempotencia )

                                                 Û   ( p’ Ú q’ ) Ú r                 ( Asociatividad )

                                                 Û   ( p Ù q )’ Ú r                  ( De Morgan )

 

                                 Û   ( p Ù q ) ® r          ( Definición )