Online “Truth Table Generator”
This tool generates truth tables for propositional logic formulas. You can enter logical operators in several different formats. For example, the propositional formula p ∧ q → ¬r could be written as p /\ q -> ~r, as p and q => not r, or asp && q -> !r. The connectives ⊤ and ⊥ can be entered as T and F.
Online “First-order logic syntax checker”
The useful translator from natural language to first order logic and check your translations!
Online “Binary Relation Editor”
This tool lets you play around with binary relations to get a better sense of the various terms and definitions we’ve covered. You can edit the relation using the checkboxes on the left. The visualizer to the right shows a graphical representation of the grid and lists some of its properties.