Example problem:

TRUE STATEMENT: M: Millie washes the car.

FALSE STATEMENT: B: Bill washes the car.

Statement to evaluate: "It is not the case that if Bill washes the car, then Millie washes the car."

This statement can be expressed logically as ~(B -> M). Place this statement in the cells in the first row of the table below and then evaluate the truth value of the overall statement similar to how it was done in the Class 4b video.

~	(B	->	M)
	F		T
	F	T	T
F	F	T	T
Overall statement:	FALSE

So, the overall truth value of this statement is FALSE, because the negation outside of the parentheses is false.

TRUE STATEMENTS: M: Mary sings, B: Bob sings, C: Carlita dances

FALSE STATEMENTS: D: Don dances

1. Statement to evaluate: "Mary sings and Bob sings."

Overall statement: