Question

Simplifique las siguientes proposiciones compuestas
(~p^~p) v ~q <->~(p^q)

Answer 1

(~p^~p) v ~q <->~(p^q)     ( Idempotent )

(~p ν ~q) ↔ ~(p ^ q)          ( Morgan )

~(p v q) ↔ ~(p ^ q)             ( Asociativa )

          V   ( Es verdadero )