Basic logic functions

This section presents the basic logic functions, also called logic gates, which will be used later on in order to construct more complex functions.

The Inverter (NOT)

Description

The output is if and only if the input is .

Truth table

es

Equation

Another common symbol to denote the negation of a variable is .

Symbol

symbol of the inverter

The AND Gate

Description

The output is if and only if both inputs equal . 1

Truth table

abs

Equation

In this lecture, we use the operator to denote conjunction (the AND operation). It is not to be confused with multiplication of integers or reals. But, as will become more clear in the next chapter, both share some common properties. Another common symbol for the conjunction is .

Symbol

symbol of the AND gate

The OR Gate

Description

The output is if and only if both inputs equal .2

Truth table

abs

Equation

In this lecture, we use the operator to denote disjunction (the OR operation). It is not to be confused with addition of integers or reals (again, both share some common properties). Another common symbol for the conjunction is .

Symbol

symbol of the OR gate

The NAND (not AND) Gate

Truth table

Description

This is the complementary function of AND. The output is if and only if both inputs equal .

Truth table

abs

Equation

Symbol

symbol of the NAND gate

The NOR (not OR) Gate

Description

This is the complementary function of the OR. The output is if and only if both inputs are .

Truth table

abs

Equation

Symbol

symbol of the NOR gate

Exclusive OR (XOR)

Description

The output is if one, and only one, of the two inputs is . 3

Truth table

abs

Equation

Symbol

symbol of the exclusive or gate

Exclusive NOT OR (XNOR)

Description

This is the complementary function of the exclusive OR. The output is if and only if both inputs are equal.

Truth table

abs

Equation

Symbol

symbol of the XNOR gate
1

The AND function can also be interpreted as a function of forcing a signal to zero: in the expression , the signal is equal to only if , otherwise it is 0.

2

The OR function can also be interpreted as a function of forcing a signal to one: in the expression , the signal is equal to only if otherwise it is 1.

3

The exclusive OR function can also be interpreted as a selection function between a datum and its complementary: in the expression , the signal is equal to if otherwise it is