de Morgan's Laws

Statement:   It is not true that you will get an ice cream cone and a million dollars.

Symbolic representation:  - ( p ^ q )

Equivalent Statement:   You won't get the ice cream or you won't get the million ( - p      - q )

Truth Table Verification of Equivalence

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

Symbolic representation:  - ( p   q )

Equivalent Statement:   You won't get the ice cream and you won't get the million ( - p  ^ - q )

Truth Table Verification of Equivalence