Закон форм Порецкого - Poretskys law of forms - Wikipedia

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

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

Рекомендации

• Фрэнк Маркхэм Браун, Булевы рассуждения: логика булевых уравнений, 2-е издание, 2003 г., стр. 100
• Луи Кутюра, Алгебра логики, 1914, с. 53, раздел 0.43
• Кларенс Ирвинг Льюис, Обзор символической логики, 1918, с. 145, раздел 7.15

внешняя ссылка

• "Трансчеловеческие размышления - форма Порецкого для решения"