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. Have fun! 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. Truth values added! Have fun!
