Мир логики: алгебра высказываний и её применение