Igazságtábla kinyerése bármely Boole kifejezésből
A változókat a 0 és 1 kombinációival kell helyettesíteni, amelyek a fenti táblázat szerint működnek. A folyamat lassú, de tévedhetetlen. Nem kell sietnie.
Az
A haladási ütem szabadon választható, de csak egyetlen helyes logikai eredmény létezik.