Solo usando leyes de algebra proposicional : ( ^ ) significa Ya) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q)b) ~(~p v q) v [(p ^ ~r) ^ ~q]c) ~(~q → ~p) ^ [q → ~(p → r)]?
Solo usando leyes de algebra proposicional : ( ^ ) significa Y a) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q) b) ~(~p v q) v [(p ^ ~r) ^ ~q] c) ~(~q → ~p) ^ [q → ~(p → r)].