Help with this please. I have to form the contrapositive of each and simplify negation using DeMorgan's rules.
a) a->(b or c)
my answer:
contra(~b or~c)->~a
simplified: ~b and ~c->~a
b) (A and B)->(~q)
my answer:
contra (~A or~b)->q
simplified:~a or ~b->q
Am i even close?