Binary Systems

I. binary logic

① Definition of binary logic

Binary logic은 binary variable(2진수 값을 갖을수 있는 변수)
과 logical operation(AND. OR. NOT)으로 구성되어 있다.

② Switching circuit and binary signals

-switching circuit : 전기회로로 AND나 OR를 표현한것
-binary signal : 전압의 강약으로 0과 1을 구분

③ Logic gates

Chap 2. Boolean Algebra and Logic Gate

A. Basic definitions

B. Axiomatic definition of boolean algebra

B : set of elements ex> B={0,1}
+, · : 2 binrary operators
satisfies boolean algebra postulates p.36
two-values B.A ≡ switching algebra ≡ binray logic
operator tables : (· : AND) (+ : OR) (` : NOT)

C. Basic theorems and properties of boolean algebra

① Duality : 원래 성립이 인정된 주어진 B.A의 식에서 dual을 하면 바뀐식도 증명할

필요없이 성립된다. (· ↔ + ) ( 0 ↔ 1 )

② Basic theorems (Table 2-1 ..p.40)

③ operator precedence : 어떤 operator를 가장 먼저 할것인가의 순서

(…(생략)

④ Venn Diagram

D. Boolean functions