Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Boolean algebra

Index Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively. [1]

159 relations: A New Kind of Science, A Symbolic Analysis of Relay and Switching Circuits, Abstract algebra, Algebra, Algebra of sets, Algebraic logic, Algebraic semantics (mathematical logic), Algebraic structure, Algorithm, Article (grammar), Assembly language, Automorphism, Axiom, Axiom of choice, Axiomatic system, Binary decision diagram, Binary number, Bit, Bit array, Bit blit, Bitwise operation, Boolean algebra, Boolean algebra (structure), Boolean algebras canonically defined, Boolean circuit, Boolean differential calculus, Boolean function, Boolean prime ideal theorem, Boolean satisfiability problem, Booleo, Carry (arithmetic), Charles Sanders Peirce, Circuit complexity, Circuit diagram, Claude Shannon, Cofiniteness, Combinational logic, Complemented lattice, Computer, Computer monitor, Computer-aided design, De Morgan's laws, Decision problem, Digital electronics, Distributive lattice, Edward Vermilye Huntington, Electronic design automation, Elementary algebra, Ernst Schröder, Exclusive or, ..., False premise, Field (mathematics), Field of sets, First-order logic, Formal system, Formal verification, Function (mathematics), Function composition, Fuzzy logic, George Boole, GF(2), Google, Google Scholar, Greatest common divisor, Group (mathematics), Group action, Group theory, Henry M. Sheffer, Heyting algebra, Hilbert system, Idempotence, Identity (mathematics), Index set, Indexed family, Indicator function, Integer, Interpretation (logic), Intersection (set theory), Intuitionistic logic, Isomorphism, Józef Maria Bocheński, John Etchemendy, Jon Barwise, Klein four-group, Least common multiple, List of Boolean algebra topics, Logic gate, Logic optimization, Logic synthesis, Logical conjunction, Logical connective, Logical consequence, Logical disjunction, Machine code, Many-valued logic, Marshall Harvey Stone, Mask (computing), Mathematical logic, Mathematical structure, Mathematics, Model of computation, Modular arithmetic, Naive set theory, Negation, NP-completeness, Number, Partially ordered set, Partition of a set, Philosophical Magazine, Pixel, Polynomial, Power set, Principle of bivalence, Probabilistic logic, Programming language, Propositional calculus, Propositional formula, Propositional variable, Quantifier (logic), Raster graphics, Real number, Relation algebra, Relevance logic, Ring (mathematics), Sequence, Sequent, Sequent calculus, Set theory, Sheffer stroke, Solid modeling, Springer Science+Business Media, Square-free integer, Stanford Encyclopedia of Philosophy, Statistics, Stephen Wolfram, Stone's representation theorem for Boolean algebras, Structure (mathematical logic), Switching circuit theory, Tautology (logic), Taylor & Francis, The Laws of Thought, Theoretical computer science, Three-valued logic, Time complexity, Truth table, Truth value, Two-element Boolean algebra, Uncountable set, Union (set theory), Unit interval, Variable (mathematics), Vector logic, Venn diagram, Very-large-scale integration, Video card, Voxel, Walter Gottschalk, William Stanley Jevons, Word (computer architecture). Expand index (109 more) »

A New Kind of Science

A New Kind of Science is a best-selling, controversial book by Stephen Wolfram, published by his own company in 2002.

New!!: Boolean algebra and A New Kind of Science · See more »

A Symbolic Analysis of Relay and Switching Circuits

A Symbolic Analysis of Relay and Switching Circuits is the title of a master's thesis written by computer science pioneer Claude E. Shannon while attending the Massachusetts Institute of Technology (MIT) in 1937.

New!!: Boolean algebra and A Symbolic Analysis of Relay and Switching Circuits · See more »

Abstract algebra

In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures.

New!!: Boolean algebra and Abstract algebra · See more »


Algebra (from Arabic "al-jabr", literally meaning "reunion of broken parts") is one of the broad parts of mathematics, together with number theory, geometry and analysis.

New!!: Boolean algebra and Algebra · See more »

Algebra of sets

The algebra of sets defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion.

New!!: Boolean algebra and Algebra of sets · See more »

Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

New!!: Boolean algebra and Algebraic logic · See more »

Algebraic semantics (mathematical logic)

In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.

New!!: Boolean algebra and Algebraic semantics (mathematical logic) · See more »

Algebraic structure

In mathematics, and more specifically in abstract algebra, an algebraic structure on a set A (called carrier set or underlying set) is a collection of finitary operations on A; the set A with this structure is also called an algebra.

New!!: Boolean algebra and Algebraic structure · See more »


In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.

New!!: Boolean algebra and Algorithm · See more »

Article (grammar)

An article (with the linguistic glossing abbreviation) is a word that is used with a noun (as a standalone word or a prefix or suffix) to specify grammatical definiteness of the noun, and in some languages extending to volume or numerical scope.

New!!: Boolean algebra and Article (grammar) · See more »

Assembly language

An assembly (or assembler) language, often abbreviated asm, is a low-level programming language, in which there is a very strong (but often not one-to-one) correspondence between the assembly program statements and the architecture's machine code instructions.

New!!: Boolean algebra and Assembly language · See more »


In mathematics, an automorphism is an isomorphism from a mathematical object to itself.

New!!: Boolean algebra and Automorphism · See more »


An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

New!!: Boolean algebra and Axiom · See more »

Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Boolean algebra and Axiom of choice · See more »

Axiomatic system

In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.

New!!: Boolean algebra and Axiomatic system · See more »

Binary decision diagram

In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.

New!!: Boolean algebra and Binary decision diagram · See more »

Binary number

In mathematics and digital electronics, a binary number is a number expressed in the base-2 numeral system or binary numeral system, which uses only two symbols: typically 0 (zero) and 1 (one).

New!!: Boolean algebra and Binary number · See more »


The bit (a portmanteau of binary digit) is a basic unit of information used in computing and digital communications.

New!!: Boolean algebra and Bit · See more »

Bit array

A bit array (also known as bit map, bit set, bit string, or bit vector) is an array data structure that compactly stores bits.

New!!: Boolean algebra and Bit array · See more »

Bit blit

Bit blit (also written BITBLT, BIT BLT, BitBLT, Bit BLT, Bit Blt etc., which stands for bit block transfer) is a data operation commonly used in computer graphics in which several bitmaps are combined into one using a boolean function.

New!!: Boolean algebra and Bit blit · See more »

Bitwise operation

In digital computer programming, a bitwise operation operates on one or more bit patterns or binary numerals at the level of their individual bits.

New!!: Boolean algebra and Bitwise operation · See more »

Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: Boolean algebra and Boolean algebra · See more »

Boolean algebra (structure)

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice.

New!!: Boolean algebra and Boolean algebra (structure) · See more »

Boolean algebras canonically defined

Boolean algebra is a mathematically rich branch of abstract algebra.

New!!: Boolean algebra and Boolean algebras canonically defined · See more »

Boolean circuit

In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for digital logic circuits.

New!!: Boolean algebra and Boolean circuit · See more »

Boolean differential calculus

Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions.

New!!: Boolean algebra and Boolean differential calculus · See more »

Boolean function

In mathematics and logic, a (finitary) Boolean function (or switching function) is a function of the form ƒ: Bk → B, where B.

New!!: Boolean algebra and Boolean function · See more »

Boolean prime ideal theorem

In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra.

New!!: Boolean algebra and Boolean prime ideal theorem · See more »

Boolean satisfiability problem

In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula.

New!!: Boolean algebra and Boolean satisfiability problem · See more »


Booleo (stylized bOOleO) is a strategy card game using boolean logic gates.

New!!: Boolean algebra and Booleo · See more »

Carry (arithmetic)

In elementary arithmetic, a carry is a digit that is transferred from one column of digits to another column of more significant digits.

New!!: Boolean algebra and Carry (arithmetic) · See more »

Charles Sanders Peirce

Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".

New!!: Boolean algebra and Charles Sanders Peirce · See more »

Circuit complexity

In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of Boolean circuits that compute them.

New!!: Boolean algebra and Circuit complexity · See more »

Circuit diagram

A circuit diagram (electrical diagram, elementary diagram, electronic schematic) is a graphical representation of an electrical circuit.

New!!: Boolean algebra and Circuit diagram · See more »

Claude Shannon

Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electrical engineer, and cryptographer known as "the father of information theory".

New!!: Boolean algebra and Claude Shannon · See more »


In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set.

New!!: Boolean algebra and Cofiniteness · See more »

Combinational logic

In digital circuit theory, combinational logic (sometimes also referred to as time-independent logic) is a type of digital logic which is implemented by Boolean circuits, where the output is a pure function of the present input only.

New!!: Boolean algebra and Combinational logic · See more »

Complemented lattice

In the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element a has a complement, i.e. an element b satisfying a ∨ b.

New!!: Boolean algebra and Complemented lattice · See more »


A computer is a device that can be instructed to carry out sequences of arithmetic or logical operations automatically via computer programming.

New!!: Boolean algebra and Computer · See more »

Computer monitor

A computer monitor is an output device which displays information in pictorial form.

New!!: Boolean algebra and Computer monitor · See more »

Computer-aided design

Computer-aided design (CAD) is the use of computer systems to aid in the creation, modification, analysis, or optimization of a design.

New!!: Boolean algebra and Computer-aided design · See more »

De Morgan's laws

In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference.

New!!: Boolean algebra and De Morgan's laws · See more »

Decision problem

In computability theory and computational complexity theory, a decision problem is a problem that can be posed as a yes-no question of the input values.

New!!: Boolean algebra and Decision problem · See more »

Digital electronics

Digital electronics or digital (electronic) circuits are electronics that operate on digital signals.

New!!: Boolean algebra and Digital electronics · See more »

Distributive lattice

In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other.

New!!: Boolean algebra and Distributive lattice · See more »

Edward Vermilye Huntington

Edward Vermilye Huntington (April 26, 1874, Clinton, New York, USANovember 25, 1952, Cambridge, Massachusetts, USA) was an American mathematician.

New!!: Boolean algebra and Edward Vermilye Huntington · See more »

Electronic design automation

Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards.

New!!: Boolean algebra and Electronic design automation · See more »

Elementary algebra

Elementary algebra encompasses some of the basic concepts of algebra, one of the main branches of mathematics.

New!!: Boolean algebra and Elementary algebra · See more »

Ernst Schröder

Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.

New!!: Boolean algebra and Ernst Schröder · See more »

Exclusive or

Exclusive or or exclusive disjunction is a logical operation that outputs true only when inputs differ (one is true, the other is false).

New!!: Boolean algebra and Exclusive or · See more »

False premise

A false premise is an incorrect proposition that forms the basis of an argument or syllogism.

New!!: Boolean algebra and False premise · See more »

Field (mathematics)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.

New!!: Boolean algebra and Field (mathematics) · See more »

Field of sets

In mathematics a field of sets is a pair \langle X, \mathcal \rangle where X is a set and \mathcal is an algebra over X i.e., a non-empty subset of the power set of X closed under the intersection and union of pairs of sets and under complements of individual sets.

New!!: Boolean algebra and Field of sets · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Boolean algebra and First-order logic · See more »

Formal system

A formal system is the name of a logic system usually defined in the mathematical way.

New!!: Boolean algebra and Formal system · See more »

Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

New!!: Boolean algebra and Formal verification · See more »

Function (mathematics)

In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.

New!!: Boolean algebra and Function (mathematics) · See more »

Function composition

In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.

New!!: Boolean algebra and Function composition · See more »

Fuzzy logic

Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1.

New!!: Boolean algebra and Fuzzy logic · See more »

George Boole

George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.

New!!: Boolean algebra and George Boole · See more »


GF(2) (also F2, Z/2Z or Z2) is the '''G'''alois '''f'''ield of two elements.

New!!: Boolean algebra and GF(2) · See more »


Google LLC is an American multinational technology company that specializes in Internet-related services and products, which include online advertising technologies, search engine, cloud computing, software, and hardware.

New!!: Boolean algebra and Google · See more »

Google Scholar

Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines.

New!!: Boolean algebra and Google Scholar · See more »

Greatest common divisor

In mathematics, the greatest common divisor (gcd) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers.

New!!: Boolean algebra and Greatest common divisor · See more »

Group (mathematics)

In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.

New!!: Boolean algebra and Group (mathematics) · See more »

Group action

In mathematics, an action of a group is a formal way of interpreting the manner in which the elements of the group correspond to transformations of some space in a way that preserves the structure of that space.

New!!: Boolean algebra and Group action · See more »

Group theory

In mathematics and abstract algebra, group theory studies the algebraic structures known as groups.

New!!: Boolean algebra and Group theory · See more »

Henry M. Sheffer

Henry Maurice Sheffer (September 1, 18821964) was an American logician.

New!!: Boolean algebra and Henry M. Sheffer · See more »

Heyting algebra

In mathematics, a Heyting algebra is a bounded lattice (with join and meet operations written ∨ and ∧ and with least element 0 and greatest element 1) equipped with a binary operation a → b of implication such that c ∧ a ≤ b is equivalent to c ≤ a → b. From a logical standpoint, A → B is by this definition the weakest proposition for which modus ponens, the inference rule A → B, A ⊢ B, is sound.

New!!: Boolean algebra and Heyting algebra · See more »

Hilbert system

In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style deductive system or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob FregeMáté & Ruzsa 1997:129 and David Hilbert.

New!!: Boolean algebra and Hilbert system · See more »


Idempotence is the property of certain operations in mathematics and computer science that they can be applied multiple times without changing the result beyond the initial application.

New!!: Boolean algebra and Idempotence · See more »

Identity (mathematics)

In mathematics an identity is an equality relation A.

New!!: Boolean algebra and Identity (mathematics) · See more »

Index set

In mathematics, an index set is a set whose members label (or index) members of another set.

New!!: Boolean algebra and Index set · See more »

Indexed family

In mathematics, an indexed family is informally a collection of objects, each associated with an index from some index set.

New!!: Boolean algebra and Indexed family · See more »

Indicator function

In mathematics, an indicator function or a characteristic function is a function defined on a set X that indicates membership of an element in a subset A of X, having the value 1 for all elements of A and the value 0 for all elements of X not in A. It is usually denoted by a symbol 1 or I, sometimes in boldface or blackboard boldface, with a subscript specifying the subset.

New!!: Boolean algebra and Indicator function · See more »


An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Boolean algebra and Integer · See more »

Interpretation (logic)

An interpretation is an assignment of meaning to the symbols of a formal language.

New!!: Boolean algebra and Interpretation (logic) · See more »

Intersection (set theory)

In mathematics, the intersection A ∩ B of two sets A and B is the set that contains all elements of A that also belong to B (or equivalently, all elements of B that also belong to A), but no other elements.

New!!: Boolean algebra and Intersection (set theory) · See more »

Intuitionistic logic

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof.

New!!: Boolean algebra and Intuitionistic logic · See more »


In mathematics, an isomorphism (from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape") is a homomorphism or morphism (i.e. a mathematical mapping) that can be reversed by an inverse morphism.

New!!: Boolean algebra and Isomorphism · See more »

Józef Maria Bocheński

Józef Maria Bocheński (Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher.

New!!: Boolean algebra and Józef Maria Bocheński · See more »

John Etchemendy

John W. Etchemendy (born 1952 in Reno, Nevada) was Stanford University's twelfth Provost.

New!!: Boolean algebra and John Etchemendy · See more »

Jon Barwise

Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.

New!!: Boolean algebra and Jon Barwise · See more »

Klein four-group

In mathematics, the Klein four-group (or just Klein group or Vierergruppe, four-group, often symbolized by the letter V or as K4) is the group, the direct product of two copies of the cyclic group of order 2.

New!!: Boolean algebra and Klein four-group · See more »

Least common multiple

In arithmetic and number theory, the least common multiple, lowest common multiple, or smallest common multiple of two integers a and b, usually denoted by LCM(a, b), is the smallest positive integer that is divisible by both a and b. Since division of integers by zero is undefined, this definition has meaning only if a and b are both different from zero.

New!!: Boolean algebra and Least common multiple · See more »

List of Boolean algebra topics

This is a list of topics around Boolean algebra and propositional logic.

New!!: Boolean algebra and List of Boolean algebra topics · See more »

Logic gate

In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more binary inputs and produces a single binary output.

New!!: Boolean algebra and Logic gate · See more »

Logic optimization

Logic optimization, a part of logic synthesis in electronics, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints.

New!!: Boolean algebra and Logic optimization · See more »

Logic synthesis

In electronics, logic synthesis is a process by which an abstract form of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool.

New!!: Boolean algebra and Logic synthesis · See more »

Logical conjunction

In logic, mathematics and linguistics, And (∧) is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true.

New!!: Boolean algebra and Logical conjunction · See more »

Logical connective

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the value of the compound sentence produced depends only on that of the original sentences and on the meaning of the connective.

New!!: Boolean algebra and Logical connective · See more »

Logical consequence

Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.

New!!: Boolean algebra and Logical consequence · See more »

Logical disjunction

In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true.

New!!: Boolean algebra and Logical disjunction · See more »

Machine code

Machine code is a computer program written in machine language instructions that can be executed directly by a computer's central processing unit (CPU).

New!!: Boolean algebra and Machine code · See more »

Many-valued logic

In logic, a many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values.

New!!: Boolean algebra and Many-valued logic · See more »

Marshall Harvey Stone

Marshall Harvey Stone (April 8, 1903 – January 9, 1989) was an American mathematician who contributed to real analysis, functional analysis, topology and the study of Boolean algebras.

New!!: Boolean algebra and Marshall Harvey Stone · See more »

Mask (computing)

In computer science, a mask is data that is used for bitwise operations, particularly in a bit field.

New!!: Boolean algebra and Mask (computing) · See more »

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

New!!: Boolean algebra and Mathematical logic · See more »

Mathematical structure

In mathematics, a structure on a set is an additional mathematical object that, in some manner, attaches (or relates) to that set to endow it with some additional meaning or significance.

New!!: Boolean algebra and Mathematical structure · See more »


Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Boolean algebra and Mathematics · See more »

Model of computation

In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how a set of outputs are computed given a set of inputs.

New!!: Boolean algebra and Model of computation · See more »

Modular arithmetic

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" upon reaching a certain value—the modulus (plural moduli).

New!!: Boolean algebra and Modular arithmetic · See more »

Naive set theory

Naïve set theory is any of several theories of sets used in the discussion of the foundations of mathematics.

New!!: Boolean algebra and Naive set theory · See more »


In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P (¬P), which is interpreted intuitively as being true when P is false, and false when P is true.

New!!: Boolean algebra and Negation · See more »


In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.

New!!: Boolean algebra and NP-completeness · See more »


A number is a mathematical object used to count, measure and also label.

New!!: Boolean algebra and Number · See more »

Partially ordered set

In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.

New!!: Boolean algebra and Partially ordered set · See more »

Partition of a set

In mathematics, a partition of a set is a grouping of the set's elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets.

New!!: Boolean algebra and Partition of a set · See more »

Philosophical Magazine

The Philosophical Magazine is one of the oldest scientific journals published in English.

New!!: Boolean algebra and Philosophical Magazine · See more »


In digital imaging, a pixel, pel, dots, or picture element is a physical point in a raster image, or the smallest addressable element in an all points addressable display device; so it is the smallest controllable element of a picture represented on the screen.

New!!: Boolean algebra and Pixel · See more »


In mathematics, a polynomial is an expression consisting of variables (also called indeterminates) and coefficients, that involves only the operations of addition, subtraction, multiplication, and non-negative integer exponents of variables.

New!!: Boolean algebra and Polynomial · See more »

Power set

In mathematics, the power set (or powerset) of any set is the set of all subsets of, including the empty set and itself, variously denoted as, 𝒫(), ℘() (using the "Weierstrass p"),,, or, identifying the powerset of with the set of all functions from to a given set of two elements,.

New!!: Boolean algebra and Power set · See more »

Principle of bivalence

In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false.

New!!: Boolean algebra and Principle of bivalence · See more »

Probabilistic logic

The aim of a probabilistic logic (also probability logic and probabilistic reasoning) is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure of formal argument.

New!!: Boolean algebra and Probabilistic logic · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Boolean algebra and Programming language · See more »

Propositional calculus

Propositional calculus is a branch of logic.

New!!: Boolean algebra and Propositional calculus · See more »

Propositional formula

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value.

New!!: Boolean algebra and Propositional formula · See more »

Propositional variable

In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false.

New!!: Boolean algebra and Propositional variable · See more »

Quantifier (logic)

In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.

New!!: Boolean algebra and Quantifier (logic) · See more »

Raster graphics

In computer graphics, a raster graphics or bitmap image is a dot matrix data structure that represents a generally rectangular grid of pixels (points of color), viewable via a monitor, paper, or other display medium.

New!!: Boolean algebra and Raster graphics · See more »

Real number

In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.

New!!: Boolean algebra and Real number · See more »

Relation algebra

In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation.

New!!: Boolean algebra and Relation algebra · See more »

Relevance logic

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related.

New!!: Boolean algebra and Relevance logic · See more »

Ring (mathematics)

In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra.

New!!: Boolean algebra and Ring (mathematics) · See more »


In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed.

New!!: Boolean algebra and Sequence · See more »


In mathematical logic, a sequent is a very general kind of conditional assertion.

New!!: Boolean algebra and Sequent · See more »

Sequent calculus

Sequent calculus is, in essence, a style of formal logical argumentation where every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology.

New!!: Boolean algebra and Sequent calculus · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Boolean algebra and Set theory · See more »

Sheffer stroke

In Boolean functions and propositional calculus, the Sheffer stroke, named after Henry M. Sheffer, written ↑, also written | (not to be confused with "||", which is often used to represent disjunction), or Dpq (in Bocheński notation), denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both".

New!!: Boolean algebra and Sheffer stroke · See more »

Solid modeling

Solid modeling (or modelling) is a consistent set of principles for mathematical and computer modeling of three-dimensional solids.

New!!: Boolean algebra and Solid modeling · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.

New!!: Boolean algebra and Springer Science+Business Media · See more »

Square-free integer

In mathematics, a square-free integer is an integer which is divisible by no perfect square other than 1.

New!!: Boolean algebra and Square-free integer · See more »

Stanford Encyclopedia of Philosophy

The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.

New!!: Boolean algebra and Stanford Encyclopedia of Philosophy · See more »


Statistics is a branch of mathematics dealing with the collection, analysis, interpretation, presentation, and organization of data.

New!!: Boolean algebra and Statistics · See more »

Stephen Wolfram

Stephen Wolfram (born August 29, 1959) is a British-American computer scientist, physicist, and businessman.

New!!: Boolean algebra and Stephen Wolfram · See more »

Stone's representation theorem for Boolean algebras

In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a certain field of sets.

New!!: Boolean algebra and Stone's representation theorem for Boolean algebras · See more »

Structure (mathematical logic)

In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.

New!!: Boolean algebra and Structure (mathematical logic) · See more »

Switching circuit theory

Switching circuit theory is the mathematical study of the properties of networks of idealized switches.

New!!: Boolean algebra and Switching circuit theory · See more »

Tautology (logic)

In logic, a tautology (from the Greek word ταυτολογία) is a formula or assertion that is true in every possible interpretation.

New!!: Boolean algebra and Tautology (logic) · See more »

Taylor & Francis

Taylor & Francis Group is an international company originating in England that publishes books and academic journals.

New!!: Boolean algebra and Taylor & Francis · See more »

The Laws of Thought

An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic.

New!!: Boolean algebra and The Laws of Thought · See more »

Theoretical computer science

Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.

New!!: Boolean algebra and Theoretical computer science · See more »

Three-valued logic

In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value.

New!!: Boolean algebra and Three-valued logic · See more »

Time complexity

In computer science, the time complexity is the computational complexity that describes the amount of time it takes to run an algorithm.

New!!: Boolean algebra and Time complexity · See more »

Truth table

A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001).

New!!: Boolean algebra and Truth table · See more »

Truth value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

New!!: Boolean algebra and Truth value · See more »

Two-element Boolean algebra

In mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain.

New!!: Boolean algebra and Two-element Boolean algebra · See more »

Uncountable set

In mathematics, an uncountable set (or uncountably infinite set) is an infinite set that contains too many elements to be countable.

New!!: Boolean algebra and Uncountable set · See more »

Union (set theory)

In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.

New!!: Boolean algebra and Union (set theory) · See more »

Unit interval

In mathematics, the unit interval is the closed interval, that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1.

New!!: Boolean algebra and Unit interval · See more »

Variable (mathematics)

In elementary mathematics, a variable is a symbol, commonly an alphabetic character, that represents a number, called the value of the variable, which is either arbitrary, not fully specified, or unknown.

New!!: Boolean algebra and Variable (mathematics) · See more »

Vector logic

Vector logicMizraji, E. (1992).

New!!: Boolean algebra and Vector logic · See more »

Venn diagram

A Venn diagram (also called primary diagram, set diagram or logic diagram) is a diagram that shows all possible logical relations between a finite collection of different sets.

New!!: Boolean algebra and Venn diagram · See more »

Very-large-scale integration

Very-large-scale integration (VLSI) is the process of creating an integrated circuit (IC) by combining hundreds of thousands of transistors or devices into a single chip.

New!!: Boolean algebra and Very-large-scale integration · See more »

Video card

A video card (also called a display card, graphics card, display adapter or graphics adapter) is an expansion card which generates a feed of output images to a display (such as a computer monitor).

New!!: Boolean algebra and Video card · See more »


A voxel represents a value on a regular grid in three-dimensional space.

New!!: Boolean algebra and Voxel · See more »

Walter Gottschalk

Walter Helbig Gottschalk (November 3, 1918 – February 15, 2004) was an American mathematician, one of the founders of topological dynamics.

New!!: Boolean algebra and Walter Gottschalk · See more »

William Stanley Jevons

William Stanley Jevons FRS (1 September 1835 – 13 August 1882) was an English economist and logician.

New!!: Boolean algebra and William Stanley Jevons · See more »

Word (computer architecture)

In computing, a word is the natural unit of data used by a particular processor design.

New!!: Boolean algebra and Word (computer architecture) · See more »

Redirects here:

AND list, Algebra of logic, And List, And list, Boolean Algebra, Boolean Connectors, Boolean Logic, Boolean algebra (basic concepts), Boolean algebra (introduction), Boolean algebra (logic), Boolean attribute, Boolean equation, Boolean logic, Boolean logic (computer science), Boolean logic in computer science, Boolean problem, Boolean search, Boolean searching, Boolean terms, BooleanAlgebra, Complement (Boolean algebra), Complement (boolean algebra), Complete Boolean algebra (computer science), Duality principle (Boolean algebra), Duality principle (boolean algebra), Elementary Boolean algebra, Introduction to Boolean algebra, Introduction to boolean algebra, Laws of classical logic, Logic function, Logic operation, OR list, Or List, Or list, Switching algebra.


[1] https://en.wikipedia.org/wiki/Boolean_algebra

Hey! We are on Facebook now! »