Элементы теории множеств и алгебры логики Алгоритм построения таблиц истинности логических выражений