真理値表から信頼できるロジックへ：安全なデジタル設計のためのブール式マスター

エンジニアがデジタルシステムを設計する際、通常は望ましい論理振る舞いを示す真理値表から始めます。

課題は、その振る舞いを忠実に実装する適切な回路（論理ゲート、リレーアセンブリ、プログラマブルコントローラなど）を選択することにあります。

ベテラン設計者であれば真理値表から即座にハードウェア解を導き出せるかもしれませんが、すべてのエンジニアが従える体系的な技法が存在します。

ブール代数は、任意の真理値表を機能する回路に変換する明確でステップバイステップの方法を提供します。

このプロセスを説明するため、現実的な工学問題を考えましょう：有毒廃棄物焼却炉の炎検出システムの設計です。

高温燃焼で有害廃棄物を無害化します。この手法は、致死性病原体を持つ医療廃棄物によく用いられます。

 

 

焼却炉内で炎が持続している限り、廃棄物の投入は安全です。炎が消えると、未処理の廃棄物が排気から漏れ出し、深刻な健康リスクをもたらします。

したがって、炎が確認された場合のみ廃棄物バルブを開く、確実な炎検出器が必要です。

炎検出には光学、熱、電気伝導センサなどがあり、それぞれ長所と短所があります。

高リスクを考慮し、冗長検出を採用：複数のセンサにより、単一障害で危険な動作を引き起こさないようにします。

各センサは炎検出時に閉じる常開接点を備え、これらがロジックシステムの入力となります。

 

 

目標は、センサが炎を確認したときのみ廃棄物バルブを開くロジックを構築することです。

まず論理振る舞いを定義します。単一センサで十分か？ いいえ。3つのセンサのうち1つだけが炎を報告したらバルブを開く設計では、冗長性と安全性が損なわれます。

代わりに、全3センサが一致したときのみバルブを開く設計とします。これにより、単一の誤った「炎あり」読み取りでバルブが開きっぱなしになることはなく、全3センサが同時に故障しない限り安全です（極めて稀）。

したがって、真理値表はシンプル：入力A、B、Cがすべてハイのときのみ出力がハイになります。

 

 

この機能は、すべての入力がハイのときのみハイ出力する3入力ANDゲートで容易に実現できます。

 

 

リレーを使用する場合、センサ接点を直列接続するか、リレー接点を直列配線することでAND動作を再現できます。すべてのセンサが炎を確認したときのみ電力がバルブに到達します。

 

 

この設計は安全性を最大化しますが、「炎見逃し」故障に対して脆弱です：実際の炎を検出できないセンサがあると、不必要にバルブが閉じ、燃料浪費とダウンタイムを招きます。

理想的には、1つの誤検知（偽陰性）センサを許容しつつ、誤作動（偽陽性）を防ぐロジックシステムが望まれます。「3つ中2つ」ルールが両方を満たします：少なくとも2つのセンサが炎を報告したらバルブを開く。

以下はそのロジックの真理値表です。

 

 

積和（SOP）形式の使用

一見すると、この真理値表を実装する回路は明らかではありません。積和（SOP）形式のブール式がそれを解決します。

SOP式は積項の和であり、各積項は変数またはその補数の論理積です。

例：ABC + BC + DF は、「ABC」「BC」「DF」という積項を持つシンプルなSOPです。

真理値表からSOPを生成するには、出力がハイ（1）になる行をすべて列挙し、その入力条件で1となる積項を書きます。

A=0、B=1、C=1 の行を考えます。積項は A′BC となり、その正確な条件下でのみ1と評価されます。

 

 

残りのハイ出力行からさらに3つの積項が得られます：

 

 

これらを論理和で結合すると、3つ中2つロジックの完全なSOP式になります：

 

 

SOPが得られれば、回路設計は簡単です：各積項をANDゲートにマッピングし、それらのORを取って最終出力とします。

 

 

これらの回路は正しいものの、大規模になりがちです。ブール代数を用いれば式を劇的に簡略化できます。

 

 

簡略化された式を使えば、ゲートまたはリレーでより簡潔なロジックを構築しつつ、同一機能を維持できます。

 

 

これらの合理化された回路のいずれも、3つ中2つの炎確認に基づいて焼却炉の廃棄物バルブを確実に制御します。

さらに、センサの不一致（3入力が同一でない状態）を検出するロジックを追加することで安全性を高められます。

すべてのセンサが正常なら、すべてロウ（000）かすべてハイ（111）のはずです。それ以外の組み合わせ（001, 010, 011, 100, 101, 110）は不一致を示し、故障の可能性があります。

このような不一致でアラームを発すれば、運転継続か安全停止かを判断できます。

「センサ不一致」検出器を設計するには、アラーム信号を表す追加出力列で真理値表を拡張します。

 

 

この列のSOPを生成すると6つの積項が必要で、煩雑かつエラーの原因になります。

 

 

和積（POS）形式の使用

ハイ出力行を合計する代わりに、ロウ出力行を捉える和積（POS）式を構築すれば、項数を減らせます。

POS式は変数の和（OR項）を乗算したものです。例：(A + B)(C + D)。

まず、出力がロウ（0）になる行を特定し、その入力条件で0と評価される和項を書きます。

最初の行（A=0, B=0, C=0）では、和項は (A + B + C) となり、すべてがゼロのときのみ0になります。

 

 

もう1つだけ0出力を生む行があります：A=1, B=1, C=1。対応する和は (A′ + B′ + C′) です。

 

 

完全なPOS式はこれら2つの和の積となります：

 

 

SOPがANDゲート群→単一ORゲートに自然にマッピングされるのに対し、POSはORゲート群→単一ANDゲートにマッピングされます。

 

 

同様に、リレー実装では並列接点を直列に配線し、ゲート構成を反映します。

 

 

これら2つの回路はセンサ不一致ロジックのみを示しています。完全システムは「正常炎」検出器と不一致検出器を組み合わせます。

PLC実装では、完全なロジックは以下のようになります：

 

 

SOPとPOSの両形式は、真理値表から機能ロジックを導出する強力なツールです。これらは決定論的で自動化可能な設計を可能にし、仕様からカスタムロジック回路をコンピュータが生成できるようにします。

変換プロセスがシンプルなため、創造的作業は最小限で済み、設計者は高レベルの安全性と性能に集中できます。

まとめ：

• 積和（SOP）式は、ハイ出力行を列挙し、各行の積項を作成し、それらを合計して構築します。
• SOPは、ANDゲート群が単一ORゲートに入力する構成にクリーンにマッピングされます。
• 和積（POS）式は、ロウ出力行を列挙し、各行の和項を作成し、それらを乗算して構築します。
• POSは、ORゲート群が単一ANDゲートに入力する構成にマッピングされます。

関連ワークシート：

• 積和・和積式ワークシート
• ブール代数ワークシート