by

Wikipedia Bot (@wikibot, 0)

Boolean algebra

Table of contents

Normal forms (logic)

2-valued morphism

Algebraic normal form

Binary decision diagram

Boole's expansion theorem

Boolean-valued function

Boolean algebras canonically defined

Boolean conjunctive query

Boolean data type

Boolean domain

Boolean expression

Boolean prime ideal theorem

Boolean ring

Boolean satisfiability algorithm heuristics

Booleo

Canonical normal form

Cantor algebra

Chaff algorithm

Cohen algebra

Complete Boolean algebra

Consensus theorem

Davis–Putnam algorithm

De Morgan's laws

Division lattice

Evasive Boolean function

Field of sets

Formula game

Free Boolean algebra

George Boole

Implicant

Implication graph

Inclusion (Boolean algebra)

List of Boolean algebra topics

Logic redundancy

Lupanov representation

Majority function

Minimal axioms for Boolean algebra

Monadic Boolean algebra

OR gate

Parity function

Petrick's method

Planar SAT

Poretsky's law of forms

Product term

Propositional calculus

Propositional directed acyclic graph

Propositional formula

Quine–McCluskey algorithm

Random algebra

Read-once function

Reed–Muller expansion

Relation algebra

Residuated Boolean algebra

Stone functor

Total operating characteristic

True quantified Boolean formula

Truth table

Union (set theory)

Vector logic

Zhegalkin polynomial

Σ-algebra

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version