Изложите основные постулаты и тождества булевой алгебры. Опишите базовые логические операции: И (AND), ИЛИ (OR), НЕ (NOT) и их свойства (коммутативность, ассоциативность, дистрибутивность). Объясните, как булева логика лежит в основе работы цифровых схем и программных условий.