A | |
0 | 1 |
1 | 0 |
A truth table defines the boolean function by specifying the boolean output value associated with each boolean input value.
The circuit symbol for the NOT function is the inverter, Figure 10. The bubble denotes inversion (complement).
Interestingly, in Quantum Computing there is a gate, but that is another story.
A | B | X=A+B |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
OR is like two switches A, B is parallel; one or both open lets current flow. The circuit symbol is shown in Figure 11.
A | B | |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
AND is like two switches A, B is series; both must be open for current to flow. The circuit symbol is shown in Figure 12.
These three are the most basic logic functions, and define the Boolean algebra on the set .
Also important are the following functions.
A | B | |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
NAND is the complement of AND. The circuit symbol is shown in Figure 13. (We encountered the physical NAND gate in section 2.4.)
A | B | |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 0 |
NOR is the complement of OR. The circuit symbol is shown in Figure 14.
NAND and NOR are very important building blocks.
A | B | |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
XOR is true if one and only one of A, B is true; hence the term exclusive OR. . The circuit symbol is shown in Figure 15.
XOR is useful in
A | B | |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
EQV is true only if both A and B are the same, and so is the complement of XOR. It is called equivalence or exclusive NOR. The circuit symbol is shown in Figure 16.
EQV is useful for detecting equality.
ANU Engineering - ENGN3213