Introduction to truth tables with biconditional statements