3.1. Что такое алгебра логики?