Элементы теории множеств и алгебры логики Алгебра логики составление таблиц истинности