[Digital Circuit] algebraic structures에 사용되는 Basic Common Postulates (cf. 분배법칙 증명)
·
Computer Science/Digital circuit
1. Closure - 정의) A set S is closed with respect to a binary operator if, for every pair of elements of S, the binary operator specifies a rule for obtaining a unique elements of S 2. Associate law(결합법칙) - (x*y)*z=x*(y*z) for all x,y,z∈S 3. Commutative law(교환법칙) - x*y=y*x for all x,y∈S 4. Identity elements(항등원) - for all x∈S, e*x=x*e=x 5. Inverse(역원) - for all x∈S , exists y∈S, such that x*y=e 이때..