# math-logic

posted by
**donovan**
.

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?