Intro to Truth Tables & Boolean Algebra

Brett Berry
Jun 21, 2017 · 6 min read

What is Boolean Algebra?

Unary Operators

Identity

Negation

Image for post
Image for post
Truth Table for Logical Negation in TF and 01 notations

Logical True and Logical False

Image for post
Image for post
Logical True (aka “always true”) in TF and 01 notations
Image for post
Image for post
Logical False (aka “always false”) in TF and 01 notations

Binary Operators

AND

Image for post
Image for post
Image for post
Image for post
Truth table for Logical Conjunction (aka “AND”) can also be modeled as a Venn Diagram intersection

OR

Image for post
Image for post
Image for post
Image for post
Truth Table for “OR” can be thought of as a Venn Diagram Union

NOR

Image for post
Image for post
Image for post
Image for post
Truth Table for “NOR” can be thought of as the opposite of a Venn Diagram Union

XOR

Image for post
Image for post
Image for post
Image for post

Conditional Operators

Implication

Image for post
Image for post
Image for post
Image for post
Truth tables showing the logical implication is equivalent to ¬p ∨ q.

Logical Equality

Image for post
Image for post
Biconditional Truth Table

Need More Math Help?


Math Hacks

Tutorials with a fresh perspective.

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store