Before revision: A short description of the programs: Boole (named after George Boole) - a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.
After revision: DescriptionA short description of the programs: Boole (named after George Boole) - a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.