「情報理論 - 主乗法標準形」の変更履歴

2026年2月24日 (火)

• 最新前 15:202026年2月24日 (火) 15:20 Wiki トーク 投稿記録 21,037バイト +21,037 ページの作成:「== 概要 == 主乗法標準形 (PCNF: Principal Conjunctive Normal Form) は、論理関数を最大項 (maxterm) の論理積として一意に表現する標準形である。<br> POS canonical form (Product of Sums) とも呼ばれ、Π記法 <math>\prod M(\ldots)</math> を用いて表記する。<br> <br> 任意のブール関数は一意の主乗法標準形を持ち、論理回路の設計や検証において重要な役割を担う。<br> <br> 主な応用…」