약식 진리표  ∧ ∨ → ↔  =.

Presentation on theme: "약식 진리표  ∧ ∨ → ↔  =."— Presentation transcript:

1 약식 진리표  ∧ ∨ → ↔  =

2 약식 진리표 [예]  ~A→(B→C) A B C ~ A  → (B→C)  0  1    1    0

3 [연습] 다음 식을 약식 진리표를 이용하여 함수값을 구하여 서로 비교해 보시오.
                    (1)  (A→B)∧(B→A)  (2)  (A∨B)∧ꍃ(A∧B)  (3)  (A→ꍃB)∧(ꍃA→B)  (4)  (A∧ꍃB)∨(ꍃA∧B)  (5)  (A→B)∧(B→C)→(A→C)            

4 (1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B)
1

5 (1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B)
1

6 (1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B)
1

7 (1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B)
1

8 (5) ((A→B)∧(B→C))→(A→C)
 0  1

9 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1

10 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1

11 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1

12 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0 

13 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0 

14 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0 

15 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0 

16 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0 

17 (5) ((A→B)∧(B→C))→(A→C)
 0  1 1   1 0