Алгебра логики: логические задачи