A desktop application that takes boolean expressions as input and generates their truth tables and does other related operations.