Propositional logic is the formal logic of the operations AND (conjunction), OR (disjunction), NOT (negation) and IMPLIES (implication).