Study of logic and discrete mathematics including truth tables, tautology, logical operations, and methods for creating tables of compound logical expressions