Основные операции алгебры логики: теоретические и практические аспекты