気にしない用語

コンピュータサイエンスや集積回路設計 において、ブール関数のドントケア項^{[ 1 ] [ 2 ]}（略してDC、歴史的には冗長性^{[ 2 ]} 、無関係性^{[ 2 ]} 、オプションエントリ^{[ 3 ] [ 4 ]} 、無効な組み合わせ[ ^{5 ] [ 4 ] [ 6 ]} 、空虚な組み合わせ^{[ 7 ] [ 4 ]} 、禁止された組み合わせ^{[ 8 ] [ 2 ]、}未使用の状態または論理的剰余^{[ 9 ]}とも呼ばれる）は、関数の出力が重要でない入力シーケンス（ビットの列）である。決して発生しないことがわかっている入力は、発生しない項である。^{[ 10 ] [ 11 ] [ 12 ] [ 13 ]}これらの2種類の条件はどちらも論理設計では同じように扱われ、簡潔にするためにまとめてドントケア条件と呼ばれることがあります。^{[ 14 ]}機能を実装する論理回路の設計者は、このような入力を気にする必要はなく、回路の出力を任意に選択できます。通常は、最も単純で、最小で、最速または最も安価な回路が得られるように（最小化）、または消費電力が最小になるようにします。^{[ 15 ] [ 16 ]}

ドントケア項は、カルノー図などの図解法やクワイン・マクラスキーアルゴリズムなどの代数的方法を含む論理回路設計を最小化する際に考慮する必要がある。1958年、シーモア・ギンズバーグは、ドントケア条件を持つ有限状態機械の状態を最小化しても、必ずしも論理要素が最小化されるとは限らないことを証明した。このような回路の論理要素を直接最小化することは、ギンズバーグが1958年に利用できた計算能力では（大規模システムの場合）計算的に非現実的であった。^{[ 17 ]}

ドントケア項の例としては、バイナリコード十進数(BCD) 値を取る関数のバイナリ値 1010 ～ 1111 (十進数では 10 ～ 15) があります。これは、BCD 値がそのような値 (いわゆる擬似テトラッド)を取ることがないためです。図では、 7 セグメント ディスプレイの左下バーを計算する回路は、dcba = 1010…1111の回路出力を適切に選択することで、a b + a cに最小化できます。

古いハードウェアによく見られる書き込み専用レジスタは、機能性と必要な論理ゲートの数のトレードオフにおける無関心最適化の結果であることが多い。^{[ 18 ]}

ドントケア状態は、ラインエンコーディング方式や通信プロトコルでも発生する可能性があります。^{[注1 ]}

「気にしない」は、多値論理システムにおける未知の値を指す場合もあり、その場合はX 値または不明とも呼ばれます。^{[ 19 ]} Verilogハードウェア記述言語では、このような値は文字「X」で表されます。VHDL ハードウェア記述言語では、このような値は (標準ロジック パッケージで) 文字「X」(強制不明) または文字「W」(弱い不明) で表されます。^{[ 20 ]}

ハードウェアにはX値は存在しません。シミュレーションでは、2つ以上のソースが同時に信号を駆動したり、フリップフロップの安定出力に達しなかったりすると、X値が発生する可能性があります。しかし、合成されたハードウェアでは、そのような信号の実際の値は0または1になりますが、回路の入力からは判別できません。^{[ 20 ]}

フィードバックを伴う論理回路については、さらに検討が必要です。つまり、回路の以前の出力と現在の外部入力の両方に依存する回路です。このような回路は、ステートマシンで表現できます。通常発生しない状態が、回路の電源投入時やランダムな干渉（宇宙放射線、電気ノイズ、熱など）によって偶発的に発生する場合があります。これは禁止入力とも呼ばれます。^{[ 21 ]}場合によっては、ステートマシンから通常の動作状態に戻る入力の組み合わせが存在しません。マシンは電源投入状態のままになるか、または囲まれた状態のガーデン内の他の発生しない状態の間を移動することしかできません。これはハードウェアロックアップまたはソフトエラーとも呼ばれます。このような状態は、名目上は発生しないものの、無視できるものではなく、設計者は、実際に発生しないようにするか、発生した場合には、エラー検出のために緊急状態を示す無視できるアラームを生成するか^{[ 21 ]}、あるいは一時的なものであり、通常の動作状態につながるようにするかのいずれかの措置を講じます。^{[ 22 ] [ 23 ] [ 24 ]}

• 決定表
• 副作用
• 短絡評価
• 不完全なアドレス復号
• 不完全なオペコードデコード
• 論理冗長性
• 未定義の動作
• 未定義の変数
• 初期化されていない変数
• 4値論理
• 9値論理

• Binder, Robert V.; Beizer, Boris (2000).オブジェクト指向システムのテスト: モデル、パターン、ツール. Addison-Wesley Object Technology Series (図解改訂 版). Addison-Wesley Professional . ISBN 978-0-20180938-1ISBN​ 0-20180938-92020年8月5日に取得。（1191ページ）
• 「第 6 章 マイクロコンピュータ システム コンポーネント データ シート - EPROM と ROM: I. PROM および ROM プログラミング手順 - B3. 非 Intellec Hex 紙テープ形式、C1. Intellec Hex コンピュータ パンチ カード 形式、C2. PN コンピュータ パンチ カード 形式」。MCS-80 ユーザー マニュアル (MCS-85 の紹介付き)。Intel Corporation。 1977 年 10 月 [1975 年]。 pp. 6–77、6–79。98-153D 。2020 年 2 月 27 日取得。 （注：プログラマブルメモリチップ内のアドレス範囲のうち、特定の値を格納する必要がなく、プログラミング命令内で未定義のままにできる範囲を「不定データ」と呼ぶ。）