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