ポレツキーの形態の法則

ブール代数において、ポレツキーの形式の法則は、の場合にのみ単一のブール方程式がと等価であることを示しています。ここで、は排他的またはを表します。 $f(X)=0$ $g(X)=h(X)$ $g=f\oplus h$ $\oplus$

形態の法則はプラトン・ポレツキーによって発見されました。

参照

ポレツキー、プラトン・セルゲイヴィッチ（1884）。「O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki」О способах резения логических равенств и об обратном способе[論理等式の解法と数理論理学の逆法について。質的形式に関する完全かつアクセスしやすい演繹理論の構築に関する試論]カザン大学自然科学協会物理・数学部会会議録集（ロシア語）(2)。(注: この出版物は、「論理等式の解法と数理論理学の逆方法について」とも呼ばれています。)
ブラウン、フランク・マーカム[Wikidataにて] (2012) [2003, 1990]. 「第3章ブレイク標準形」.ブール推論 - ブール方程式の論理（第2版の再版）. ミネオラ、ニューヨーク: Dover Publications, Inc. p. 100. ISBN 978-0-486-42785-0。[1]
クチュラ、ルイ（1914）『論理の代数』53ページ、0.43節。
ルイス、クラレンス・アーヴィング（1918年）『記号論理学概論』145ページ、7.15節。