Simplifica las siguientes proposiciones utilizando las leyes lógicas estudiadas, recuerda justificar cada paso. • • [(pq) (p~q)] v (~p ^ ~q) (r~r)] Λ b+ [ (bv d~) v d~ + (b ~ d)] . [(bv d~) ^ (b^d)~] [(b~^d)d] [(bˇ µ) ^ b~] × [b ^ (dd)] br [(und) (bv d~)] • • [(p ^ q) → ~r] v [p → (q→ ~r)] ->​