Symbolic Logic
Boolean algebra derives its name from the mathematician George Boole. Symbolic Logic uses values, variables and operations
- True is represented by the value 1.
- False is represented by the value 0.
Variables are represented by letters and can have one of two values, either 0 or 1. Operations are functions of one or more variables.
- AND is represented by X.Y
- OR is represented by X + Y
- NOT is represented by X' . Throughout this tutorial the X' form will be used and sometime !X will be used.
These basic operations can be combined to give expressions.
Example :
- X
- X.Y
- W.X.Y + Z
Precedence
| As with any other branch of mathematics, these operators have an order of precedence. NOT operations have the highest precedence, followed by AND operations, followed by OR operations. Brackets can be used as with other forms of algebra. e.g. |
X.Y + Z and X.(Y + Z) are not the same function.
Function Definitions
The logic operations given previously are defined as follows
Define f(X,Y) to be some function of the variables X and Y.
f(X,Y) = X.Y
- if X = 1 and Y = 1
- 0 Otherwise
f(X,Y) = X + Y
- 1 if X = 1 or Y = 1
- 0 Otherwise
f(X) = X'
- 1 if X = 0
- 0 Otherwise
Truth Tables
| Truth tables are a means of representing the results of a logic function using a table. They are constructed by defining all possible combinations of the inputs to a function, and then calculating the output for each combination in turn. For the three functions we have just defined, the truth tables are as follows. |
AND
| Â
| |||||||||||||||||
| OR | |||||||||||||||||
|
| |||||||||||||||||
| NOT | |||||||||||||||||
| X | F(X) | Â | |||||||||||||||
| 0 | 1 | Â | |||||||||||||||
| 1 | 0 | Â | |||||||||||||||
Truth tables may contain as many input variables as desired
F(X,Y,Z) = X.Y + Z
|
Boolean Switching Algebras
A Boolean Switching Algebra is one which deals only with two-valued variables. Boole's general theory covers algebras which deal with variables which can hold n values.
Axioms
Consider a set S = { 0. 1}
Consider two binary operations, + and . , and one unary operation, -- , that act on these elements. [S, ., +, --, 0, 1] is called a switching algebra that satisfies the following axioms S
Closure
If X 
S and Y S then X.Y S
If X S and Y S then X+Y S
Identity
an identity 0 for + such that X + 0 = X
an identity 1 for . such that X . 1 = X
Commutative Laws
X + Y = Y + X
X . Y = Y . X
Distributive Laws
| X.(Y + Z ) = X.Y + X.Z |
X + Y.Z = (X + Y) . (X + Z)
Complement
X S 
a complement X'such that
| Â | X . X' = 0 | Â |
| Â | Thecomplement X' is unique. |
|
Theorems
A number of theorems may be proved for switching algebras
Idempotent Law
X + X = X
X . X = X
DeMorgan's Law
(X + Y)' = X' . Y', These can be proved by the use of truth tables.
Proof of (X + Y)' = X' . Y'
| X | Y | X+Y | (X+Y)' | Â | |||||||||||||||||||||||||
| 0 | 0 | 0 | 1 | Â | |||||||||||||||||||||||||
| 0 | 1 | 1 | 0 | Â | |||||||||||||||||||||||||
| 1 | 0 | 1 | 0 | Â | |||||||||||||||||||||||||
| 1 | 1 | 1 | 0 | Â | |||||||||||||||||||||||||
|
| |||||||||||||||||||||||||||||
The two truth tables are identical, and so the two expressions are identical.
(X.Y) = X' + Y', These can be proved by the use of truth tables.
Proof of (X.Y) = X' + Y'
|
| |||||||||||||||||||||||||
|
| |||||||||||||||||||||||||
| Note : DeMorgans Laws are applicable for any number of variables. Bạn Có Đam Mê Với Vi Mạch hay Nhúng - Bạn Muốn Trau Dồi Thêm Kĩ Năng
Mong Muốn Có Thêm Cơ Hội Trong Công Việc Và Trở Thành Một Người Có Giá Trị Hơn Bạn Chưa Biết Phương Thức Nào Nhanh Chóng Để Đạt Được ChúngHãy Để Chúng Tôi Hỗ Trợ Cho Bạn. SEMICON
|
