આગામી પગલું વ્યવહારમાં બુલિયન બીજગણિત ગુણધર્મો વાપરવા માટે હોવી જોઈએ (શોષણ ગુણધર્મો શૂન્ય અને એક, અને t. ). આખરે, સમીકરણ અજ્ઞાત લઘુત્તમ નંબર, સરળ કામગીરી સાથે જોડાઈ સમાવે જોઈએ.