\[CS\] 프로그래밍과 논리/수학
해당 게시글은 다음 수업을 듣고, 개인 공부를 위해 요약한 글입니다.
SWEA-Computational Thinking
논리와 증명
Hard Logic
가설 : “A일 때, B이다.”
증명 : 아래 2가지를 확인해야함.
- A일 때, B인가?
- B가 아닐 때, A가 아닌가?
| A | B | Inclusive Or(= OR) | Exclusive OR(= XOR) |
|---|---|---|---|
| T | T | T | F |
| T | F | T | T |
| F | T | T | T |
| F | F | F | F |
This post is licensed under CC BY 4.0 by the author.