Logic for Computer Scientists/Propositional Logic
This section introduces propositional logic. We will study syntax and model theoretic semantic of a language of classical propositional logic and we investigate various calculi for deciding certain properties of sentences in this language.
4.4 Equivalence and Normal Forms
4.5 Horn clauses
4.7 Analytic Tableaux