Electronics World Cover, TOC, and list of posted Popular Electronics articles QST Radio & TV News Radio-Craft Radio-Electronics Short Wave Craft Wireless World About RF Cafe RF Cafe Homepage RF Cafe in Morse Code Google Search Sitemap Electronics Equations Mathematics Equations Equations physics Manufacturers & distributors Manufacturers & Services Consultants Engineer Jobs Twitter LinkedIn Advertising Engineering Books Crosswords Engineering Humor Engineering Event Calendar Day in History RF Engineering Quizzes AN/MPN-14 Radar 5CCG Notable Quotes Crosley 03CB Radio App Notes Bookstore Calculators Education Engineering Organizations Magazines Software Coffee Mugs Articles - submitted by RF Cafe visitors Simulators Technical Writings Advertisers Websites Thank you for visiting RF Cafe!

Your RF Cafe
Progenitor & Webmaster

Click here to read about RF CafeView the YouTube RF Cafe Intro VideoKirt Blattenberger
BSEE
KB3UON
EIEIO

Carpe Diem!
(Seize the Day!)

5th MOB:
My USAF radar shop

Airplanes and Rockets:
My personal hobby website

Equine Kingdom:
My daughter Sally's horse riding website

RF Cafe Software

Calculator Workbook
RF Workbench
Smith Chart™ for Visio
Smith Chart™ for Excel
RF & EE Symbols Word
RF Stencils for Visio

Boolean Algebra Equations & Truth Tables

British mathematician George Boole developed a form of algebra that uses symbolic logic to define relationships in sets - unions and intersections to be precise. In electrical engineering, we do not usually bother ourselves with all the rigors and formalities of the pure mathematical application. Rather, since engineers actually build things that perform useful functions, most of us can get by with the basic operations presented below.

Venn Diagrams do not help much when designing a digital circuit where complex (or simple for that matter) conditional decisions must be made to determine the proper output of a multiplexer or an entire production line controller circuit. Instead, we use Truth Tables, State Machines and Karnaugh Maps.

There are three fundamental operators from which all other Boolean functions can be derived - the OR gate, the AND gate, and the NOT (negation) operator. The Exclusive OR gate is included even though it is not a fundamental function, but it is very commonly used. Venn Diagrams for each of the functions are give just for illustration. White regions are where the functions are True, and blue areas are False.

OR
Venn Diagram for logical "OR" (white region is True) - RF Cafe Logical Boolean OR gate equation - RF Cafe
x y x + y
0 0 0
0 1 1
1 0 1
1 1 1
The OR Symbol
AND
Venn Diagram for logical "AND" (white region is True) - RF CafeLogical Boolean AND gate equation - RF Cafe
x y x · y
0 0 0
0 1 0
1 0 0
1 1 1
The AND Symbols
+
Exclusive OR
Venn Diagram for logical "XOR" (white region is True) - RF Cafe Logical Boolean Exclusive OR gate equation ( XOR ) - RF Cafe
x y x y
0 0 0
0 1 1
1 0 1
1 1 0
Exclusive OR (XOR) equivalent circuit
NOT
Venn Diagram for logical "NOT" (white region is True) - RF Cafe

Logical Boolean NOT gate equation ( negation ) - RF Cafe

x x
0 1
1 0
The NOT Symbol
°
Identities
  x + 0 = x x · 1 = x
  x + x = 1 x · x = 0
  x + x = x x · x = x
  x + 1 = 1 x · 0 = 0
     
Theorems
Involution Logical Boolean involution equation  
Commutative x + y = y + x x · y = y · x
Associative x + (y + z) = (x + y) + z  
Distributive x · (y + z) = x · y + x · z x + y · z = (x + y) · (x + z)
DeMorgan (x + y) = x · y (x · y) = x + y
Absorption x + x · y = x x · (x + y) = x
Copyright 1996 - 2016
Webmaster:  Kirt Blattenberger, BSEE - KB3UON

All trademarks, copyrights, patents, and other rights of ownership to images and text used on the RF Cafe website are hereby acknowledged.