약식 진리표 ∧ ∨ → ↔ =
약식 진리표 [예] ~A→(B→C) A B C ~ A → (B→C) 0 1 1 0
[연습] 다음 식을 약식 진리표를 이용하여 함수값을 구하여 서로 비교해 보시오. (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)
(1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B) 1
(1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B) 1
(1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B) 1
(1) (A→B)∧(B→A) (2) (A∨B)∧~(A∧B) 1
(5) ((A→B)∧(B→C))→(A→C) 0 1
(5) ((A→B)∧(B→C))→(A→C) 0 1 1
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0
(5) ((A→B)∧(B→C))→(A→C) 0 1 1 1 0