59 relations: Algebraic normal form, Allan Marquand, American Institute of Electrical Engineers, AND gate, Anglicism, Antonín Svoboda, Association for Computing Machinery, Bavarian Academy of Sciences and Humanities, Benjamin Cummings, Birkhäuser, Boolean algebra, Canonical normal form, Carl Hanser Verlag, Conditional (computer programming), Conjunctive normal form, Consensus theorem, David Van Nostrand, De Morgan's laws, Disjunctive normal form, Don't-care term, Dover Publications, Edward W. Veitch, EE Times, Espresso heuristic logic minimizer, Friedrich L. Bauer, Garland Science, Gray code, Harvard University, Harvard University Press, Howard H. Aiken, Implicant, John Wiley & Sons, Karnaugh map, List of Boolean algebra topics, Logic optimization, Logic redundancy, Maurice Karnaugh, OR gate, Philosophical Magazine, Prentice Hall, Punnett square, Quine–McCluskey algorithm, Race condition, Reed–Muller expansion, RWTH Aachen University, Saarland University, Samuel H. Caldwell, Springer Science+Business Media, Springer Vieweg Verlag, Technische Universität Darmstadt, ..., Torus, Truth table, University of Erlangen-Nuremberg, University of Texas at Dallas, University of Texas at Dallas academic programs, Venn diagram, Walter de Gruyter, Wolfgang Händler, Zhegalkin polynomial. Expand index (9 more) » « Shrink index
In Boolean algebra, the algebraic normal form (ANF), ring sum normal form (RSNF or RNF), Zhegalkin normal form, or Reed–Muller expansion is a way of writing logical formulas in one of three subforms.
Allan Marquand (1853–1924) was an art historian at Princeton University and a curator of the Princeton University Art Museum.
The American Institute of Electrical Engineers (AIEE) was a United States-based organization of electrical engineers that existed from 1884 through 1962.
The AND gate is a basic digital logic gate that implements logical conjunction - it behaves according to the truth table to the right.
An Anglicism is a word or construction borrowed from English into another language.
Antonín Svoboda (1907–1980) was a Czech computer scientist, mathematician, electrical engineer, and researcher.
The Association for Computing Machinery (ACM) is an international learned society for computing.
The Bavarian Academy of Sciences and Humanities (Bayerische Akademie der Wissenschaften) is an independent public institution, located in Munich.
Benjamin Cummings specializes in science and is a publishing imprint of Pearson Education, the world's largest education publishing and technology company, which is part of Pearson PLC, the global publisher and former owner of Penguin Books and the Financial Times.
Birkhäuser is a former Swiss publisher founded in 1879 by Emil Birkhäuser.
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.
In Boolean algebra, any Boolean function can be put into the canonical disjunctive normal form (CDNF) or minterm canonical form and its dual canonical conjunctive normal form (CCNF) or maxterm canonical form.
The Carl Hanser Verlag was founded in 1928 by Carl Hanser in Munich and is one of the few medium-sized publishing companies in the German-speaking area still owned by the founding family.
In computer science, conditional statements, conditional expressions and conditional constructs are features of a programming language, which perform different computations or actions depending on whether a programmer-specified boolean condition evaluates to true or false.
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is an AND of ORs.
David Van Nostrand (December 5, 1811, New York City – June 14, 1886, New York City) was a New York City publisher.
In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference.
In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses; it can also be described as an OR of ANDs, a sum of products, or (in philosophical logic) a cluster concept.
In digital logic, a don't-care term for a function is an input-sequence (a series of bits) for which the function output does not matter.
Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward Cirker and his wife, Blanche.
Edward W. Veitch (November 4, 1924 – December 23, 2013) was an American computer scientist.
EE Times (Electronic Engineering Times) is an online electronics industry magazine published in the United States by AspenCore Media an Arrow Electronics company.
The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.
Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German computer scientist and professor at the Technical University of Munich.
Garland Science is a publishing group that specializes in developing textbooks in a wide range of life sciences subjects, including cell and molecular biology, immunology, protein chemistry, genetics, and bioinformatics.
The reflected binary code (RBC), also known just as reflected binary (RB) or Gray code after Frank Gray, is an ordering of the binary numeral system such that two successive values differ in only one bit (binary digit).
Harvard University is a private Ivy League research university in Cambridge, Massachusetts.
Harvard University Press (HUP) is a publishing house established on January 13, 1913, as a division of Harvard University, and focused on academic publishing.
Howard Hathaway Aiken (March 8, 1900 – March 14, 1973) was an American physicist and a pioneer in computing, being the original conceptual designer behind IBM's Harvard Mark I computer.
In Boolean logic, an implicant is a "covering" (sum term or product term) of one or more minterms in a sum of products (or maxterms in product of sums) of a Boolean function.
John Wiley & Sons, Inc., also referred to as Wiley, is a global publishing company that specializes in academic publishing.
The Karnaugh map (KM or K-map) is a method of simplifying Boolean algebra expressions.
This is a list of topics around Boolean algebra and propositional logic.
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.
Logic redundancy occurs in a digital gate network containing circuitry that does not affect the static logic function.
Maurice Karnaugh (born October 4, 1924) is an American physicist and mathematician known for the Karnaugh map used in Boolean algebra.
The OR gate is a digital logic gate that implements logical disjunctionit behaves according to the truth table to the right.
The Philosophical Magazine is one of the oldest scientific journals published in English.
Prentice Hall is a major educational publisher owned by Pearson plc.
The Punnett square is a square diagram that is used to predict an outcome of a particular cross or breeding experiment.
The Quine–McCluskey algorithm (or the method of prime implicants) is a method used for minimization of Boolean functions that was developed by Willard V. Quine and extended by Edward J. McCluskey.
A race condition or race hazard is the behavior of an electronics, software, or other system where the output is dependent on the sequence or timing of other uncontrollable events.
In Boolean logic, a Reed–Muller expansion (or Davio expansion) is a decomposition of a Boolean function.
RWTH Aachen University or Rheinisch-Westfälische Technische Hochschule AachenRWTH is the abbreviation of Rheinisch-Westfälische Technische Hochschule, which translates into "Rheinish-Westphalian Technical University".
Saarland University (Universität des Saarlandes) is a modern research university located in Saarbrücken, the capital of the German state of Saarland.
Samuel Hawks Caldwell (January 15, 1904 – October 12, 1960) was an American electrical engineer, known for his contributions to the early computers.
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.
Springer Vieweg Verlag (formerly known as Vieweg+Teubner Verlag) is a German publishing company that specializes in books on technical subjects.
The Technische Universität Darmstadt (unofficially Technical University of Darmstadt or Darmstadt University of Technology), commonly referred to as TU Darmstadt, is a research university in the city of Darmstadt, Germany.
In geometry, a torus (plural tori) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis coplanar with the circle.
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).
Friedrich-Alexander University Erlangen-Nürnberg (Friedrich-Alexander-Universität Erlangen-Nürnberg, FAU) is a public research university in the cities of Erlangen and Nuremberg in Bavaria, Germany.
The University of Texas at Dallas (UTD or UT Dallas) is a public research university in the University of Texas System.
The University of Texas at Dallas (also referred to as UT Dallas or UTD) is a public research university in the University of Texas System.
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.
Walter de Gruyter GmbH (or; brand name: De Gruyter) is a scholarly publishing house specializing in academic literature.
Wolfgang Händler (11 December 1920 – 19 February 1998) was a German mathematician, pioneering computer scientist and professor at the University of Hannover (Lehrstuhl für elektronische Rechenanlagen) and University of Erlangen-Nürnberg (Institut für Mathematische Maschinen und Datenverarbeitung) known for his work on automata theory, parallel computing, artificial intelligence, man-machine interfaces and computer graphics.
Zhegalkin (also Žegalkin, Gégalkine or Shegalkin) polynomials form one of many possible representations of the operations of Boolean algebra.
Diagram K, Diagram V, Harvard minimizing chart method, Händler minimisation graph, Händler minimization graph, Händler's circle graph, Händler's minimisation graph, Händler's minimization graph, K Map, K diagram, K map, K maps, K-Map, K-diagram, K-map, K-maps, KV diagram, KV map, KV-diagram, KV-map, KVS diagram, KVS map, KVS-diagram, KVS-map, Karnaugh Map, Karnaugh Maps, Karnaugh board, Karnaugh chart, Karnaugh diagram, Karnaugh diagrams, Karnaugh map method, Karnaugh mapping, Karnaugh maps, Karnaugh plan, Karnaugh table, Karnaugh-Veitch diagram, Karnaugh-Veitch map, Karnaugh-Veitch symmetry diagram, Karnaugh-Veitch symmetry map, Karnaugh–Veitch diagram, Kmap, Kv-diagram, Map K, Marquand chart, Marquand diagram, Marquand map, Marquand-Veitch diagram, Marquand–Veitch diagram, Minimizing chart, Minimizing chart method, Minterm table, V Diagram, V diagram, V-Diagram, V-diagram, Veitch chart, Veitch diagram, Veitch-Karnaugh diagram, Veitch-Karnaugh map, Veitch–Karnaugh map.