? Използва се за опростяване на изявленията, направени в булеви изрази, булеви теореми използват букви, като X, Y и Z да представлява изявления на истина или лъжа . След това тези теореми се използват за управление на възможните връзки, които тези стойности могат да имат , ако приемем всеки един представлява само стойността на 1 ( вярно) или 0 ( лъжа) . Една променлива теореми

Единични – променлива теореми използват само азбучния писмо X, която може да представлява 1 или 0, и се използва, когато точната стойност не е известна. Основни единични променливи теореми включват х умножено по 0 е равно на 0 и Х умножен по 1 е равно на х . Тези теореми са същите, както при нормални математика. Други теореми получат по-конкретни . обаче . Например , X , умножена по X , винаги равно или 0 или 1 , тъй като X може само равен 0 или 1 се . Освен това, х плюс 1 или х плюс X , дори когато и двата хикса равняват на 1 , се равнява на 1 Това противоречи на редовни математика и е отправна точка за уникалната логика на Булева алгебра.

Мулти-променлив теореми <Бразилски>

многомерни теореми използват няколко букви, като X, Y и Z да представлява 0 и 1 , така че има повече възможни комбинации от тези двоични проблеми. Прости многомерни теореми са същите като основни математически правила, като теоремата , че променливите могат да се умножат в произволен ред , за да се произведе един и същ номер : XYZ = yzx = ZYX и така нататък. В по-напредналите теореми , обаче, влиза в специален логиката на булева алгебра , защото всяка променлива може само равното 0 или 1 Например, х плюс XY равнява х . По-сложните multivariables използват повече променливи като Теорема 13б , който гласи ( w + х) (Y + Z ) = WY + WZ + XY + XZ .