Leyes de D'Morgan y Bicondicional
En la clase del día de hoy 28 de junio, lo que vimos en el curso fue lo que son las Leyes de D'Morgan y las proposiciones bicondicionales.     L eyes de D'Morgan  Estas leyes son dos, las cuales dicen lo siguiente:     1. La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas, esto quiere decir:    ~(p∧q) = ~p∨~q     Ej. "Es verano y no hay nieve" = "No es verano o hay nieve"     2. La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas, esto quiere decir:    ~(p∨q) = ~p∧~q     Ej. "Yo no voy o ella va" = "Voy y ella no va"   Proposiciones bicondicionales   Su conectivo es ⇔ y significa "si y solo si". Es verdadera cuando hay dos verdaderas o dos falsas. En la siguiente tabla se explica mejor: