AFM.LR.3.1: Construct truth tables that represent conditional, biconditional, and quantified statements; use truth tables to determine whether the statement is true or false and use Venn diagrams to illustrate the relationship represented by these truth tables.