Атап әйткәндә, әгәр ниндәйҙер Буль алгебраһында дөрөҫ булған формулала, бөтә конъюнкцияларҙы дизъюнкцияларға, 0-де 1-гә, ≤ -ҙе >-ға һәм киреһенсә йәки <-ҙе ≥ -гә һәм киреһенсә алмаштырғанда, шулай уҡ был Буль алгебраһында дөрөҫ булған формула килеп сыға.