Usuario:Andrespbz/e9
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 )