Logic is a fundamental component of discrete mathematics. Propositional calculus deals with statements that can be either true (T) or false (F). Logical operators, such as: