논리대수(불 대수; Boolean algebra) 공식

 

※ 논리대수: 논리적인 문제를 수학적으로 해석하기 위한 것,
                     1848년 영국의 수학자 George Boole이 제안함

 

논리대수 공식표

 

번호	논리대수 공식	법칙
1	X + Y = Y + X	교환법칙
2	X · Y = Y · X
3	0 + X = X	흡수법칙
4	1 + X = 1
5	X + X = X
6	X + X＇= 1
7	0 · X = 0
8	1 · X = X
9	X · X = X
10	X · X＇ = 0
11	(X＇)＇ = X
12	X + (Y + Z) = (X + Y) + Z	결합법칙
13	X(YZ) = (XY)Z
14	X(Y+Z) = XY + XZ	분배법칙(배분법칙)
15	(X + Y)(W + Z) = XW + XZ + YW + YZ
16	X + XZ = X
17	X(X + Y) = X
18	X + X＇Y = X + Y
19		드모르간 정리
20