Determining the Validity of Conditional Statements