1

私は HtDP (プログラムの設計方法) からいくつかの演習を行っていますが、ブール比較の質問に固執しています。こんなふうになります。

    (define b1 true)

    (define b2 false)

b1 が false で b2 が true かどうかを計算する式を作成します。false の場合は No を生成し、その逆も同様です。

今、これが私が思いついたすべてです：

   (and b1 true) => true

（恥知らずです。知っていますが、私はこれが初めてで、理解するのが本当に遅いです）

あなたが私に与えることができるどんな助けも大歓迎です。

ありがとう

4

2 に答える 2

2

質問をコードに変換するのは非常に簡単です。最初のアプローチとして、疑似コードで質問をそのままコピーしましょう。

(b1 == false) AND (b2 == true)

では、上記をSchemeで書くとどうなるでしょうか？覚えておいてください、Scheme は接頭表記を使用します

(<???> (<???> b1 false) (<???> b2 true))

もう少し練習すれば、同じコードを次のようにコンパクトに書くことができます (ここでも最初は疑似コードです)。

NOT b1 AND b2

これはSchemeで書くのに十分簡単なはずです:

(<???> (<???> b1) b2)
于 2013-03-07T02:22:14.653 に答える
0

これが HtDP の式の記述方法かどうかはわかりませんが、単純な真理値表を記述してブール式を見つけることができます。

b1 | b2 | よ

0 | 0 | 0

0 | 1 | 1

1 | 0 | 0

1 | 1 | 0

したがって、Y = (NOT b1) AND b2 => TRUE

于 2013-03-07T02:20:31.007 に答える