logic A , B:
Q = A 0 B = Ã .B + B.A
G iá trị Q cho ở bảng 1.1.
Trường hợp tổng quát, xét phép tính X O R trên
nhiéu biến logic:
Q = A f f i B f f i C © ...
Giá trị Q tính như sau:
Q sẽ bằng 0 logic khi số biến
độc lập có giá trị 1 logic là một sô'chẵn; khi số biến dộc
lập mang giá trị I logic lả một sô'lè thi Q = 1 logic.
Bảng
1.2 là bảng chân lý của hàm X O R ba biến độc lập.
1.5. NHỮNG TÍNH CHAT VÀ ĐỊNH LÝ
CỦA CÁC PHÉP TÍNH LOGIC
1.5.1. Tính c h ấ t c ủ a c á c phép tính log ic
Cấc phép tính tuyển , phép tính h ội và phép tính X O R c ó ba tính chất sau:
- T ính giao hoán: A + B = B + A ; A .B = B.A ; A © B = B © A .
- Tính kết hợp:
A + B + C = A + (B + C) = (A + B) + C
A .B .C = A .(B .C ) = (A .B ).C
A © B © C = ( A © B ) © C = A ® ( B ® C )
- T ính phân bố:
A .(B + C ) = A .B +
A.c
A + (B.C) = (A + B).(A + C)
A.(B©C) = A.B® A.c
Ví dụ:
X .Y .(Z + M ) = X .Y .Z + X .Y .M
( X + Y )(M + N ) = M .(X + Y ) + N .(X + Y )
X .Y + (M .N ) = (X .Y + M ).(X .Y + N )
Báng 1.1.
Bàng chàn lý
A
8
Q = A © B
0
0
0
0
1
1
1
0
1
1
1
0
A
B
c
Q =
A ©
B ® c
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
Chia sẻ với bạn bè của bạn: |