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

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

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

См. также

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

Ссылки

• Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki" О способах решения логических равенств и об обратном способе [О методах решения логических равенств и обратном методе математической логики. Очерк построения полной и доступной теории дедукции на качественных формах. Сборник отчетов заседаний секции физико-математических наук Общества естествоиспытателей Казанского университета (на русском языке) (2). (Примечание. Эту публикацию также называют «О методах решения логических равенств и об обратном методе математической логики».)
• Браун, Фрэнк Маркхэм [в Викиданных] (2012) [2003, 1990]. «Глава 3: Каноническая форма Блейка». Булево рассуждение - Логика булевых уравнений (переиздание 2-го изд.). Минеола, Нью-Йорк: Dover Publications, Inc., с. 100. ИСБН  978-0-486-42785-0 . [1]
• Кутюра, Луи (1914). Алгебра логики . п. 53, раздел 0.43.
• Льюис, Кларенс Ирвинг (1918). Обзор символической логики . п. 145, раздел 7.15.

Внешние ссылки

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