[유진선14]

안녕하세요 죠교님,
1-4에서
ANDALSO
ORELSE
IMPLY
모두 logic의미에서 아는것과 동일한 개념이라고 생각하면 되나요?
즉,
ANDALSO는 (formula)TRUE, TRUE를 받을때만 (bool)TRUE를 뱉어내고
ORELSE 는 FALSE,FALSE를 받을때만 (bool)FALSE를 뱉어내고
IMPLY는 TRUE, FALSE를 받을때만 FALSE를 뱉어내는게 맞나요?

또한, 입력되는 방식은 1-3과 유사하게
eval(ANDALSO(TRUE, ORELSE(TRUE, NOT FALSE)))
= TRUE
와 같이 나오는것으로 이해했는데, 맞게 이해했나요?


감사합니다.

유진선 올림.

[배요한]

안녕하세요, 유진선 학생.

1. 맞습니다. 명제 논리에서 배운 대로 하시면 됩니다. 참고로, 문제에서 이미 다음과 같이 명시되어 있습니다.