現在、5 つの変数の真理値表を出力するプログラムに取り組んでいます。2次元配列を使用しています。私のコードは現在テーブルを生成していますが、それが壊れていると言い、「変数「テーブル」の周りのスタックが壊れています。助けはありますか?

これは宿題なので、ただ答えを出すだけでなく、理解したいと思います。

こんにちは、私は大学の 3 年生で、コンピューター アーキテクチャの授業で問題を抱えています。誰か助けて、私が正しいかどうか教えてくれませんか?

質問1。真理値表をブール式に変換します。

質問2。最小 SOP (積和) を求める

質問3. Kマップ（カルノーマップ）を使用して簡単にします。

現在、次の真理値表を使用しています

このテーブルからカルノーマップを取得する必要があり、シミュレーションでこれが得られます

ただし、手動で行うと、この結果が得られます（Xは必要なものにできるため）

何が欠けているのかよくわかりません...それがXに関連しているに違いないことはわかっていますが、私が調べたところ、結果を得るためにすべてのXをグループ化する必要はありません

私が現在行っているのは、この方法で1のグループを取得することです

第1グループ

0 0 0 0

0 0 1 0

これは私にa'b'd'を与えます

第2グループ

0 1 1 1

これは私にa'bcdを与えます

第3グループ

1 1 0 0

1 0 0 0

これは私にac'd'を与えます

そうですね、シミュレーションと同じ結果が得られず、理由がわかりません... don't care フィールド (X) に関連していると確信しています。

ブール回路に多変数関数を実装する必要があります。いくつかの算術演算をブール回路に自動的に変換するために、どのようなツールがありますか?

たとえば、実装したい数式の一部は、max(a,b)2 つの数値 (現時点では 16 ビット) を取得し、最大数 (0 または 1) のインデックスを返す演算子です。

真理値表を作成してブール回路に自動的に変換できることはわかっていますが、それには非常に巨大な回路が必要になります (2^32 のエントリがあります)。

課題について質問があります。質問は基本的に次のとおりです。A と B という 2 つの整数変数があります。これらの整数には両方ともデータが含まれています。真理値表を使用すると、次の IF ステートメントのテストが次の場合と同等になります。

どうすればこれに対処できますか。何かアドバイスをいただければ幸いです。A と呼ばれる列、B と呼ばれる列、および RESULT (YES OR NO) と呼ばれる 3 番目の列の 3 つの列を持つテーブルを作成する必要があると思います。

声明: if (!(A == 60 && B == 40)) - この部分の読み方がよくわかりませんif (!。言い換えれば、この部分A == 60 && B == 40は本質的に、A は 60 に等しくなければならず、同時に B は 40 に等しくなければならないことを私に伝えています。それに続いて、私は混乱しています。ヘルプ/アドバイスをいただければ幸いです。

ありがとうクリス

真理値表の結果をブール ステートメントに変換しようとしています。よく知らない人のために詳しく書いておきます。

以下のような形式の文字列のベクトルがあります。ベクトル内のすべての文字列メンバーは同じ長さです。-メンバーは、または0またはのみで構成され1ます。たとえば、ベクトル v には、各メンバーの長さが 5 の 3 つのメンバーが含まれます。

string の各文字は、ブール演算とともに別のベクトル「A」メンバーを表します。例えば、

最初のもの--1-0は(A[2] && !A[4])

v上記のベクトルをに変換したい

(A[2] && !A[4]) || (A[1] && A[3] ) || (!A[0] && A[1] && A[3])

私がやりたいのは、ベクトルvをA入力として関数を持ち、戻り値がブールステートメントの上にあることです。1is true、0is Not true、および-is don't care ステータスに気付いたと思います。

編集: TruthTable または Kmap を解決するつもりはありません。私はすでに結果を持っています。「v」ベクトルの形式での私の結果。ブールステートメントを使用して、V と A の間にリンクを作成したいと考えています。

どんな提案でも大歓迎です。

生成された真理値表の条件をキャッチするループに小さな問題があります..論理式を入力すると、それが真理値表に変換され、有効か無効か矛盾しているかが解釈されます。これまでのところ、これはそれを解釈するプログラムの一部ですが、無効または有効のみをキャッチしています...これについて教えていただけますか? ありがとう

*edit// これがプログラムの実行方法です:

*******いらっしゃいませ！********

(LogicStart) を入力して開始するか、(終了) を入力していつでも終了します。

;; 読み込まれたファイル MyLogic.lisp

T [2]> (LogicStart) 論理式または式を入力してください: "(p^(~p))"

p (~p) (p^(~p))
T NIL NIL

NIL T NIL

数式が無効です

したがって、入力は論理式のみであり、出力はその式の真理値表です....そしてそれを解釈することもできますが、上記の例は一貫性がない/満足できない (式/式のすべての解釈が偽であるため)

編集を終了

編集 2:///

これは LogicStart 関数です:

setAtoms 関数:

watchTable と列関数

//編集 3 したがって、(OR A (NOT A)) の場合、テーブルには @jkiiski のコードで「not A」がありません

参照用の別の例: P は Q を暗示していますが、このコードは次のように暗黙を受け入れます: >

したがって、(p>q)^r では、真理値表に p、q、r、(p>q)、および最後に (p>q)^r が表示されます。

4つ編集//

2 つの入力条件に基づいて、4 つの出力値のうちの 1 つを出力できるようにしたいと考えています。たとえば、2 つのテーブル間の一致をチェックする場合、次のような関数にアクセスできるようにしたいと考えています。

次のようなことをする：

これまでに思いついた2つのオプションは次のとおりです。

また：

オプション 1 は、条件 2 の繰り返しのために保守が面倒であり、オプション 2 は、将来の保守担当者が理解するのが複雑です。私は現在、オプション 2 の傾向がありますが、誰かより良いオプションを知っていますか?