Poretskysův zákon forem - Poretskys law of forms - Wikipedia

v Booleova algebra, Poretskyho zákon forem ukazuje, že jediná booleovská rovnice ${ displaystyle f (X) = 0}$ je ekvivalentní k ${ displaystyle g (X) = h (X)}$ kdyby a jen kdyby ${ displaystyle g = f oplus h}$, kde ${ displaystyle oplus}$ představuje exkluzivní nebo.

Zákon forem objevil Platon Poretsky.

Reference

• Frank Markham Brown, Logické uvažování: Logika booleovských rovnic, 2. vydání, 2003, s. 100
• Louis Couturat, Algebra logiky, 1914, s. 53, oddíl 0.43
• Clarence Irving Lewis, Průzkum symbolické logiky, 1918, s. 145, oddíl 7.15

externí odkazy

• „Transhuman Reflections - Poretsky Form to Solve“