プログラミング in OCaml #2
プログラミング in OCaml (目次) - kengpong
(* 練習問題3.3 *) (* 式 b1 && b2 を || と not と b1, b2 のみを用いて同じ意味になるように書く。*) let before b1 b2 = b1 && b2;; let after b1 b2 = (not (not b1 || not b2));; (* 式 b1 || b2 を && と not と b1, b2 のみを用いて同じく。*) let before b1 b2 = b1 || b2;; let after b1 b2 = (not (not b1 && nob b2));;
しばらく考えて駄目っぽかったのでカンニングしたところ、ド・モルガンの法則 - Wikipediaとかいう奴らしい。