Verify that the proposition (p ^ q) ^ ~ (p v q) is a contradiction.