Алгебра логики. Высказывания