Boolean logic: Difference between revisions

Content deleted Content added
cardinality and cartesian product are off-topic. set difference is derived: A−B = A ∧ ¬B
m link
Line 1:
{{Original research|date=August 2010}}
{{Merge to|Introduction to Boolean algebra|date=February 2010}}
'''Boolean logic''' is a complete [[formal system|system]] for [[logic]]al [[operation (mathematics)|operation]]s, used often since popularization of [[mathematical logic]] and discussions concerning the [[foundations of mathematics]]. It was named after [[George Boole]], who first defined an [[algebraic structure|algebraic system]] of logic in the mid 19th century. Boolean logic has many applications in electronics, computer hardware and software, and is the basis of all modern [[digital electronics]]. In 1938, [[Claude Elwood Shannon|Claude Shannon]] showed how electric circuits with relays could be modeled with Boolean logic. This fact soon proved enormously consequential with the emergence of the electronic [[computer]].