2
真理値表を三元論理関数にマップする方法は?
親切にしてください。電気工学でかなりよく知られているかもしれない工学の別の分野からの厄介で重要な質問があります。StackOverflowで同様の質問をしました 5つの入力と1つの出力の真理値表があるとします。Espressoアルゴリズム(たとえば、Logic Friday)を使用してテーブルを最小化し、効率的なVHDLをいくつか記述しました。すべてが正常に動作します。 真理値表を最小化してNANDゲートにマッピングする代わりに、任意の3値論理関数にマッピングしたいと思います。多値ロジックではなく、3つの入力変数を持つ論理関数に興味があります。これらの機能は256個あり、3インチNANDはその1つにすぎません。これらの256の関数のすべてが興味深いとは限りません。一部は2つの入力変数の兄弟に削減されます。 質問:これらの3入力関数のいずれかに真理値表(たとえば、7つの入力)をどのようにマッピングできますか。同様のことを行うツールはすばらしいですが、任意の3値関数に単純化する方法が最善です。 背景:最近のCPUは512ビットレジスタで任意の3値論理演算(たとえば、命令vpternlog)を実行できますが、複雑さのため、コンパイラはそれをプログラマに任せます。