Compound Statements with Conditional

Statement:   If you get an ice cream cone you won't get a million dollars.

Symbolic representation:  p -> - q

Truth Table

Statement:   If it is not true that you will get an ice cream cone or a million dollars then you will not get an ice cream cone.

Symbolic representation:  - ( p   q )  -> - q

Truth Table

Statement:   If you get an ice cream cone and a million dollars then it's not true that if you don't get an ice cream cone you will get a million dollars.

Symbolic representation:  (p ^ q) -> - (-p -> q)

Truth Table