What is truth table? - Definition from WhatIs.com
Part of the Computing fundamentals glossary:

A truth table is a breakdown of a logic function by listing all possible values the function can attain. Such a table typically contains several rows and columns, with the top row representing the logical variables and combinations, in increasing complexity leading up to the final function.

In a logic function, there are three basic operations: NOT (also called inversion or negation and symbolized -), OR (also called disjunction or addition and symbolized +), and AND (also called conjunction or multiplication and symbolized *). The values of the functions are normally assigned as logic 0 = false and logic 1 = true. Thus, the following rules apply:

If A = 0, then -A = 1
If A = 1, then -A = 0
A+B = 1 except when A = 0 and B = 0
A+B = 0 if A = 0 and B = 0
A*B = 0 except when A = 1 and B = 1
A*B = 1 if A = 1 and B = 1

The following tables show the process of evaluating the values of the logic function -(A+B) * -(A*B), as determined by breaking it down into constituent functions. The two logic variables, A and B, are listed at the top of the first two columns. All possible combinations of values for A and B are listed in these columns by counting up in binary numerals: 00, 01, 10, 11. The right-most (in this case the seventh) column contains the function to be evaluated (the final function).

A B A+B A*B -(A+B) -(A*B) -(A+B) * -(A*B)
? ? ? ? ?
1 ? ? ? ? ?
1 ? ? ? ? ?
1 1 ? ? ? ? ?

Once this framework has been set up, the values in the third and fourth columns are determined by the simple rules for addition and multiplication:

A B A+B A*B -(A+B) -(A*B) -(A+B) * -(A*B)
? ? ?
1 1 ? ? ?
1 1 ? ? ?
1 1 1 1 ? ? ?

Then the values in the fifth and sixth columns are determined by negating the values in the third and fourth columns:

A B A+B A*B -(A+B) -(A*B) -(A+B) * -(A*B)
1 1 ?
1 1 1 ?
1 1 1 ?
1 1 1 1 ?

Finally, the values of the function to be evaluated are determined by multiplying the values of the fifth and sixth columns:

A B A+B A*B -(A+B) -(A*B) -(A+B) * -(A*B)
1 1 1
1 1 1
1 1 1
1 1 1 1

This is a simple logic function. Some functions have many input variables, and consist of many constituent functions. This can result in a table with hundreds of rows and columns. Computers are used to generate truth tables for highly complex logic functions.

An alternative to the truth table is the use of Boolean theorems. This method, called Boolean algebra, is used by engineers to find the simplest possible circuit that will perform a desired logic function. This optimizes system efficiency by minimizing the number of operations that must be performed to accomplish a given task.

This was last updated in September 2005
Posted by: Margaret Rouse

Related Terms


  • robotics

    - Robotics is a branch of engineering that involves the conception, design, manufacture, and operation of robots. (WhatIs.com)

  • Turing test

    - In artificial intelligence (AI), the Turing Test is a method for determining whether or not a computer is capable of thinking like a human. (WhatIs.com)

  • telepresence

    - Telepresence is a sophisticated form of robotic remote control in which a human operator has a sense of being in a remote location so that the experience resembles virtual reality (VR). (WhatIs.com)


  • Computing fundamentals

    - Terms related to computer fundamentals, including computer hardware definitions and words and phrases about software, operating systems, peripherals and troubleshooting.

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question. Find an Answer.Powered by ITKnowledgeExchange.com

Ask An IT Question

Get answers from your peers on your most technical challenges

Ask Question

Tech TalkComment



    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.