About the Book
        
        Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 112. Chapters: Sigma-algebra, Boolean satisfiability problem, De Morgan's laws, Propositional calculus, Logical conjunction, Logical disjunction, Boolean ring, Majority function, Exclusive or, Sheffer stroke, Negation, Boolean function, Propositional formula, Boolean algebras canonically defined, Laws of Form, Canonical form, Truth table, Interior algebra, Relation algebra, Bent function, Bitwise operation, Karnaugh map, True quantified Boolean formula, Boolean-valued model, Field of sets, Boolean prime ideal theorem, Boolean data type, Functional completeness, Quine-McCluskey algorithm, Complete Boolean algebra, Residuated Boolean algebra, Logic alphabet, Two-element Boolean algebra, Free Boolean algebra, Zhegalkin polynomial, Logical NOR, List of Boolean algebra topics, Shannon's expansion, Logical matrix, Parity function, Stone's representation theorem for Boolean algebras, Monadic Boolean algebra, Logic redundancy, Davis-Putnam algorithm, Petrick's method, Wolfram axiom, Circuit minimization, Robbins algebra, Evasive Boolean function, 2-valued morphism, Algebraic normal form, Implicant, Boolean-valued function, Boolean domain, Absorption law, Correlation immunity, Conditioned disjunction, Implication graph, Consensus theorem, Lupanov representation, Boolean expression, Symmetric Boolean function, Modal algebra, Boolean conjunctive query, Derivative algebra, Reed-Muller expansion, Formula game, Stone functor, Chaff algorithm, Balanced boolean function, Product term. Excerpt: In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formul...