Usuario:Andrespbz/e9

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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

( p « q )’   Û   p’ « q

            ( p « q )’   Û   ( ( p ® q ) Ù ( q ® p ) )’                                                    ( Definición )

                               Û   ( ( p’ Ú q ) Ù ( q’ Ú p ) )’                                                     ( Definición )

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

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

                               Û   ( p Ù q’ ) Ú ( q Ù p’ )                                                          ( Doble Negación )

                               Û   ( ( p Ù q’ ) Ú q ) Ù ( ( p Ù q’ ) Ú p’ )                                  ( Distributividad )

                               Û   ( ( p Ú q ) Ù ( q’ Ú q ) )Ù( ( p Ú p’ ) Ù ( q’ Ú p’ ) )           ( Distributividad )

                               Û   ( ( p Ú q ) Ù V ) Ù ( V Ù ( q’ Ú p’ ) )                                  ( Complemento )

                               Û   ( p Ú q ) Ù ( q’ Ú p’ )                                                          ( Identidad )

                               Û   ( ( p’ )’ Ú q ) Ù ( q’ Ú p’ )                                                    ( Doble Negación )

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

                               Û   p’ « q                                                                                 ( Definición )