Instructions

This app generates a truth table for a formula written in truth-functional logic.

You may use the buttons on the right to insert connectors into the field below, or you may type the respective alternative indicated in the boxes.

To see the truth table, click "See Truth Table." To generate an exercise table that allows you to practice, click "Exercise." "Correct" will indicate which of your answer is right, and which is wrong.