Алгебра логики: Теоретические и практические аспекты