알고리즘
컴퓨팅 사고력
sang0
2019. 10. 21. 17:01
- 논리(Hard Logic)
Sofit Logic - 직관적으로 푸는 것
명제 - 참, 또는 거짓으로 정확히 판단할 수 있는 것
0은 자연수이다(거짓인 명제)
p -> q
T T -> T
T F -> F
F T -> T
F F -> T
앞의 명제가 거짓(F)이면 뒤의 명제에 상관없이 전체 명제의 논리값은 참(T)이라고 판단!
뒤의 명제가 참(T)이면 앞의 명제에 상관없이 전체 명제의 논리값은 거짓(F)이라고 판단!
★★★★★진리표 시험
<역,이,대우>
- 마방진 - 가로, 세로, 대각선의 합이 같으면 마방진(각 칸에는 모두 다른 숫자를 넣음)
- 마방진이 아니면 행,열,대각선의 합이 1개라도 다르다(대우)
- 세변의 길이가 모두 같으면 정삼각형이다.
- => 정삼각형이 아니면 적어도 하나 이상은 변의 길이가 다르다.(대우)