Proof and Problem Solving - Truth Table Example 02 - YouTube
GitHub - bruceoutdoors/TTGen: A truth table generator/comparator written in C# and WinForms. It parses boolean expressions in a specific notation as used in logic circuits.
logic - Generating truth tables for quantifiers online - Mathematics Stack Exchange