GALILEO

기본법칙

① 교환법칙

· A + B = B + A

· AㆍB = BㆍA

② 결합법칙

· A + ( B + C ) = ( A + B ) + C

· Aㆍ( BㆍC ) = ( AㆍB )ㆍC

③ 분배법칙

· Aㆍ( B + C ) = AㆍB + AㆍC

· A + ( BㆍC ) = ( A + B )ㆍ( A + C )

④ 멱등법칙

· A + A = A

· AㆍA = A

⑤ 보수법칙

· A + A' = 1

· AㆍA = A

⑥ 항등법칙

· A + 0 = A

· A + 1 = A

· Aㆍ0 = 0

· Aㆍ1 = A

⑦ 콘센서스

· AB + BC + CA' = AB + CA'

· ( A + B ) ( B + C ) ( C + A' ) = ( A + B ) ( C + A' )

⑧ 드모르간법칙

· ( A + B )' = A'ㆍB'

· ( AㆍB )' = A' + B'

⑨ 복원법칙

· ( A' )' = A