you can click on its Advanced Truth Table button. It will then ask you to enter a propositional logic formula in the box. Type the formula and it will display the respective truth table.

propositional logic, monadic predicate logic, polyadic predicate logic. We follow this same outline, but with three twists. We emphasize reasoning techniques (natural deduction) over calculational ...