1. Evaluar la tautología contradicción o contingencia de los siguientes sistemas proposicionales: a) ~(∨∼)→[~(∧)∨∼] b) ∼{[→(~∧)]∨(∼→)} c) (∨∼)→{→∼(∼∧)} d) [→∼(∨∼)]∧∼[∼→(∧∼)]