[심우철]

잘못된것 있으면 지적해주세요.

그리고 더 괜찮은 테스트셋이 있어서 올려주시면 감사하겠습니다.


# let f p q = eval (ANDALSO (p, (ORELSE (q, (ANDALSO ((NOT p), (NOT q)))))));;
val f : formula -> formula -> bool = <fun>

# let r_f p q = not (f p q);;
val r_f : formula -> formula -> bool = <fun>

# f TRUE TRUE;;
- : bool = true

# f TRUE FALSE;;
- : bool = false

# f FALSE TRUE;;
- : bool = false

# f FALSE FALSE;;
- : bool = false

# r_f TRUE TRUE;;
- : bool = false

# r_f TRUE FALSE;;
- : bool = true

# r_f FALSE TRUE;;
- : bool = true

# r_f FALSE FALSE;;
- : bool = true


# let g1 p q r = eval (IMPLY ((ANDALSO ((IMPLY (p,(ORELSE (q,r)))),(NOT (ORELSE (q,r))))),(NOT p)));;
val g1 : formula -> formula -> formula -> bool = <fun>

# g1 TRUE TRUE TRUE;;
- : bool = true

# g1 TRUE TRUE FALSE;;
- : bool = true

# g1 TRUE FALSE TRUE;;
- : bool = true

# g1 TRUE FALSE FALSE;;
- : bool = true

# g1 FALSE TRUE TRUE;;
- : bool = true

# g1 FALSE TRUE FALSE;;
- : bool = true

# g1 FALSE FALSE TRUE;;
- : bool = true

# g1 FALSE FALSE FALSE;;
- : bool = true


# let g2 p q r = eval (ANDALSO ((IMPLY ((ORELSE (p,q)),(NOT r))),(ORELSE ((NOT r),(ORELSE (q,p))))));;
val g2 : formula -> formula -> formula -> bool = <fun>

# g2 TRUE TRUE TRUE;;
- : bool = false

# g2 TRUE TRUE FALSE;;
- : bool = true

# g2 TRUE FALSE TRUE;;
- : bool = false

# g2 TRUE FALSE FALSE;;
- : bool = true

# g2 FALSE TRUE TRUE;;
- : bool = false

# g2 FALSE TRUE FALSE;;
- : bool = true

# g2 FALSE FALSE TRUE;;
- : bool = false

# g2 FALSE FALSE FALSE;;
- : bool = true


# let h1 p q r = eval (ORELSE ((NOT p),(ANDALSO (q,r))));;
val h : formula -> formula -> formula -> bool = <fun>

# h1 TRUE TRUE TRUE;;
- : bool = true

# h1 TRUE TRUE FALSE;;
- : bool = false

# h1 TRUE FALSE TRUE;;
- : bool = false

# h1 TRUE FALSE FALSE;;
- : bool = false

# h1 FALSE TRUE TRUE;;
- : bool = true

# h1 FALSE TRUE FALSE;;
- : bool = true

# h1 FALSE FALSE TRUE;;
- : bool = true

# h1 FALSE FALSE FALSE;;
- : bool = true

[신기정]

감사합니다 ㅜㅜ

[이치민]

고맙습니다!

[박면규]

테스트셋 감사합니다.
시간이 지나서 별로 쓸모는 없겠지만 전 딜레이라..ㅋㅋ
# eval(LESS(PLUS(NUM 5, NUM 5), MINUS(NUM 10, NUM 7)));;
- : bool = false
# eval(LESS(PLUS(NUM 5, NUM 5), MINUS(NUM 20, NUM 7)));;
- : bool = true