Simplificar utilizando las equivalencias lógicas

~ (~ p → q) ↔ (p ↔ q)

Simplificar utilizando las equivalencias lógicas

{[(p ˅ q) Δ (p → q)] ↔ (r ˅ ~ q)} ˄ ~ (r → ~ q)

Determine el siguiente circuito lógico que representa el esquema planteado:

[(p ˄ q) → (r → s)] → (p → q)

Expresar el circuito lógico en un esquema y simplificarlo.

Determina si la inferencia es válida

No puede suceder a la vez que Islas Turcas declare su independencia y Caicos no lo
haga. Si Islas Turcas declara su independencia, Reino unido tomara medidas; y si
Caicos declara su independencia, Reino unido no tomara medidas. Así pues, Islas
Turcas no declara su independencia.