Закон форм Порецкого - Википедия - Poretskys law of forms

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

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

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

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

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

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