조항준
가입: 2011년 9월 19일
올린 글: 4
|
 올려짐: 2011년11월11일 22:12 주제: 두번째 테스트셋 복붙용 |
 |
|
첫번째 테스트셋은 몇 개 없다보니 그냥 했는데
두번째는...
그래서 급히 편집한, 아~주 단순한, 한 번에 복사-붙여놓기 하기 위한 버전입니다.
| 코드: | let f p q = eval (ANDALSO (p, (ORELSE (q, (ANDALSO ((NOT p), (NOT q)))))));;
let r_f p q = not (f p q);;
(f TRUE TRUE) = true;;
(f TRUE FALSE) = false;;
(f FALSE TRUE) = false;;
(f FALSE FALSE) = false;;
(r_f TRUE TRUE) = false;;
(r_f TRUE FALSE) = true;;
(r_f FALSE TRUE) = true;;
(r_f FALSE FALSE) = true;;
let g1 p q r = eval (IMPLY ((ANDALSO ((IMPLY (p,(ORELSE (q,r)))),(NOT (ORELSE (q,r))))),(NOT p)));;
(g1 TRUE TRUE TRUE) = true;;
(g1 TRUE TRUE FALSE) = true;;
(g1 TRUE FALSE TRUE) = true;;
(g1 TRUE FALSE FALSE) = true;;
(g1 FALSE TRUE TRUE) = true;;
(g1 FALSE TRUE FALSE) = true;;
(g1 FALSE FALSE TRUE) = true;;
(g1 FALSE FALSE FALSE) = true;;
let g2 p q r = eval (ANDALSO ((IMPLY ((ORELSE (p,q)),(NOT r))),(ORELSE ((NOT r),(ORELSE (q,p))))));;
(g2 TRUE TRUE TRUE) = false;;
(g2 TRUE TRUE FALSE) = true;;
(g2 TRUE FALSE TRUE) = false;;
(g2 TRUE FALSE FALSE) = true;;
(g2 FALSE TRUE TRUE) = false;;
(g2 FALSE TRUE FALSE) = true;;
(g2 FALSE FALSE TRUE) = false;;
(g2 FALSE FALSE FALSE) = true;;
let h1 p q r = eval (ORELSE ((NOT p),(ANDALSO (q,r))));;
(h1 TRUE TRUE TRUE) = true;;
(h1 TRUE TRUE FALSE) = false;;
(h1 TRUE FALSE TRUE) = false;;
(h1 TRUE FALSE FALSE) = false;;
(h1 FALSE TRUE TRUE) = true;;
(h1 FALSE TRUE FALSE) = true;;
(h1 FALSE FALSE TRUE) = true;;
(h1 FALSE FALSE FALSE) = true;; |
모든 결과가 다음과 같아야 겠죠
양의 탈을 쓴 늑대가 없는 지 꼭 살펴보셔야 해요 ㅋㅋ |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
