Построение таблицы истинности для логических формул