Press the two buttons a the bottom to set p and q. The original staement is at the top, followed by the converse, the inverse, then the contrapostive. P is the first part of the stement, and q is the second part. Cool things to try: Make the original statement false or either p or q false. See what happens to the converse, inverse, and contrapositive. If both the converse and statement are true, then the statement is biconditional. Have fun!