Propositional Logic
← Back to Logic
The study of logical connectives (AND, OR, NOT, implication) applied to propositions that are either true or false. Forms the basis for Boolean algebra, circuit design, and SAT solvers. Truth tables and logical equivalences are fundamental tools.