Utilizar tablas de verdad para establecer las equivalencias de doble negación, idempotencia, conmutatividad, asociatividad, distributividad y Ley de DeMorgan presentadas en la Proposición 2.2.1. A par...Utilizar tablas de verdad para establecer las equivalencias de doble negación, idempotencia, conmutatividad, asociatividad, distributividad y Ley de DeMorgan presentadas en la Proposición 2.2.1. A partir de la Regla 10.b de la Proposición 2.2.1, utilizar el cálculo proposicional para probar la equivalencia \ begin {ecuación*} p\ izquierdaTrightarrow q\ Leftrightarrow (\ neg p\ lor q)\ tierra (p\ lor\ neg q)\ text {.} \ end {ecuación*}
