Построение таблиц истинности высказывания