コスト評価
コスト評価 英語表記: Cost Evaluation 概要 コスト評価とは、論理式の簡約手法であるクワイン・マクラスキー法（Quine-McCluskey Method）において、最終的に得られた複数の簡約候補の中から […]
論理式の簡約
このカテゴリの用語
プライムインプリカント
プライムインプリカント 英語表記: Prime Implicant 概要 プライムインプリカント（Prime Implicant）は、「論理演算（AND, OR, NOT, XOR）」を基盤とする論理回路設計において、論 […]
Quine–McCluskey 法
Quine–McCluskey 法 英語表記: Quine–McCluskey Algorithm 概要 Quine–McCluskey 法（クワイン・マクラスキー法、以下QM法）は、論理演算における複雑なブール論理式を […]
既約論理式
既約論理式 英語表記: Irreducible Logical Expression 概要 既約論理式とは、論理演算によって表現された複雑な論理式を、論理式の簡約というプロセスを経て、それ以上短縮できない究極の形にまで整 […]
グルーピング
グルーピング 英語表記: Grouping 概要 グルーピングとは、論理演算（AND, OR, NOT, XOR）の結果を効率的に表現するために利用される「カルノー図」において、隣接する「1」のマス目を特定のルールに従っ […]
カルノー図
カルノー図 英語表記: Karnaugh Map 概要 カルノー図（Karnaugh Map、Kマップとも呼ばれます）は、論理演算によって表現された複雑な論理式を視覚的に、かつ効率的に簡約化するための非常に強力な手法です […]
最大項
最大項 英語表記: Maxterm 概要 最大項（Maxterm）は、ブール代数における論理式を構成する基本的な要素の一つであり、複数の変数の論理和（OR）の形で記述される項のことを指します。論理演算（AND, OR, […]
最小項
最小項 英語表記: Minterm 概要 最小項とは、論理演算における特定の入力条件を厳密に定義するために用いられる、論理変数のすべてを含む積項（AND演算）のことです。これは、論理式の結果が「真（1）」となる、たった一 […]
ブール恒等式
ブール恒等式 英語表記: Boolean Identities 概要 ブール恒等式とは、論理演算（AND, OR, NOT）を用いて構成された論理式において、その真理値を変えずに形を変換できる等価な法則群のことです。これ […]