Булева алгебра: основы логики и применения в математике