Закон форм Порецкого

В булевой алгебре закон форм Порецкого показывает, что единственное булево уравнение эквивалентно тогда и только тогда , когда , где представляет собой исключающее или .${\displaystyle f(X)=0}$${\displaystyle g(X)=h(X)}$${\displaystyle g=f\oplus h}$${\displaystyle \oplus}$

Закон форм открыл Платон Порецкий .

• Арчи Блейк (математик)
• Закон Блейка-Порецкого

• Порецкий, Платон Сергеевич (1884). «О способе решения логических явлений и обратом спокобе математической логики»О способах решения логических уравнений и об обратном способеО методах решения логических равенств и обратном методе математической логики. Опыт построения полной и доступной теории вывода по качественным формам // Сборник докладов заседаний отделения физико-математических наук Общества любителей естествознания Казанского университета (2).(Примечание. Данная публикация также называется «О методах решения логических равенств и об обратном методе математической логики».)
• Браун, Фрэнк Маркхэм [на Wikidata] (2012) [2003, 1990]. "Глава 3: Каноническая форма Блейка". Булево рассуждение - Логика булевых уравнений (переиздание 2-го изд.). Минеола, Нью-Йорк: Dover Publications, Inc. стр. 100. ISBN 978-0-486-42785-0.[1]
• Кутюра, Луи (1914). Алгебра логики . стр. 53, раздел 0.43.
• Льюис, Кларенс Ирвинг (1918). Обзор символической логики . стр. 145, раздел 7.15.

• «Трансчеловеческие размышления — Порецкий Форма для решения»