問題タブ [demorgans-law]

Demorgans / その他の基本法則を使用して、これら 2 つの方程式が等しいことを証明しようとしています。ブール論理を行ってからしばらく経ちましたが、問題が発生しています。誰でも私を助けてくれますか？

最初のものでデモガンを使用した後、私は..

この後どこに行けばいいのかよくわかりません。

言語 L = { L1 \ L2 } の DFA を構築するにはどうすればよいですか

L1 と L2 の DFA は指定されていますが、ある DFA を別の DFA から「差し引く」にはどうすればよいですか? これは、相対補数http://en.wikipedia.org/wiki/Complement_(set_theory)と DeMorgans Law で何とか可能ですか?

私の解決策：

私はここでメンタルブロックを抱えています。

それを教えてくれる公理/定理の名前は?

いくつかの C コードを確認しようとしていますが、これが呼び出されたことを思い出せません。

このコードを機能させるには、助けが必要です。

表示される値がすべて異なるようになるまで、3 つの六面体サイコロを何回振る必要があるかをカウントするプログラムを作成できる必要があります。

指示：

10 回の出力実行を生成するドライバーを作成します。

以下は、2 つの出力実行の例です。

これまでのコードは次のとおりです。DeMorgan の法則をどこにどのように適用するかは正確にはわかりません。

私は人工知能のコースにいて、書くプログラムを与えられました。プログラムは明らかに単純で、他のすべての学生は Java でそれを行いました。ただし、LISP でより少ない作業で実行できることはわかっています。良い。タイピングが少ない。しかし、私は LISP について読んでから 1 週間が経ちましたが、これには驚かされます。私はもっ​​と学び、この授業以外にも LISP を使用することを決意しています。私は 23 歳で、1958 年に形成された言語を学んでいます。それはちょっとロマンチックです。ペストのようにマウスパッドを避けるのがとても楽しいです。

彼が与える例は、プログラム全体を物語っています。彼は、prog ではなく再帰を使用していると述べています。少なくとも、それが何を意味するかは理解しています。

ド・モルガンの法則が分かりました。これをどのように処理すればよいかわかりません。私がこれまでに持っているのは... 恥ずかしいです。私のノートは、これを描こうとしている私のページでいっぱいです。最も単純なケースでの最も近い試みを以下に示します。

これを処理できれば、あとは問題なく処理できると思います。多分。ブームと呼ばれる関数を作成しました。上記のステートメントは、ブーム可能リストと呼ばれるものです。

デバッグのために最後に出力します。リストオペランドへの変更は、元のsexpの変更を反映していません（私にとっては大きな失望です）。

私が持っているものは偽物だと言って、私を導いてください。

私は困惑しています。「彼が代数とコンピューターサイエンスの両方をとったというのは真実ではない」というフレーズには、デモガンの法則を適用しなければなりません。と式

しかし、2 番目の問題の 2 つのうちの 1 つだけに NOT 標識があります。(X>Z) には NOT インジケーターがないため、!((X=Y).(X>Z)) にすることはできません。DMの法則を使用するには、式の両方の部分にNOTが必要であるという印象を受けていたため、非常に混乱しています。誰かが私にこれを説明できますか？というフレーズについては、!(Algebra.CS) = !A + !C なので、「彼が代数も CS もとらなかったのは本当です」と答えました。これは正しいです？

どんな説明でも大歓迎です！