AFM.3.a: Determine whether statements are equivalent and construct equivalent statements.