Usuario:Andrespbz/e8

( p ® q ) « p    Û   p Ù q

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

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

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

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

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

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

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

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

                                       Û   F Ú ( p Ù q )                                                   ( Complemento )

                                       Û   p Ù q                                                               ( Identidad )                           

: