1. Motivations and background
1.1 Motivations
Boolean algebra is at the heart of mathematical logic, set theory, information theory, algorithms and their complexity.
-
Predicate calculus
Propositional calculus ("the Laws of Thought") provides a language and rules for formalizing elementary intuitive reasoning. A proposition is a formula whose truth value (true or false) can be evaluated from the truth values given to the input variables x 1 , x 2 ,..., x n .
Thus, p (x 1 , x 2 ) := (x ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Motivations and background
Theory
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
