1. Dadas las siguientes proposiciones lógicas matemáticas, determine su circuito lógico
(p → q) ^ (q → p)
[p ^ (q _ r)] → [(p ^ q) v (p ^ r)]
(p v ~q) → q
p → (p v q)
(p ^ q) → p
[(p ^ q) ↔p] → (p↔ q)
[(p →q) v (r →s)] → [(p v r) → (q v s)]
~ [(p →q) v (r →s)] → ~ [(p ^ r) ↔ (q v s)]
~ (p v q) ↔~p ^ ~ q
~ (p ^ q) ↔~p v ~ q