AFM.3: Use truth tables to solve application-based logic problems and determine the truth value of simple and compound statements including negations and implications.