Ниндәй ҙә булһа фекер иҫәпләмәһенең Линденбаум — Тарский алгебраһы (был иҫәпләмәлә ярашлы операциялар менән тиң көслөлөккә ҡарата бөтә раҫлауҙарҙың факторкүмәклеге) Буль алгебраһы була. Был осраҡта иҫәпләмәләр формулаларының дөрөҫлөк баһаһы булып Линденбаум — Тарский алгебраһының ике элементлы Буль алгебраһына гомоморфизмы тора.