Построение таблицы истинности для произвольного умозаключения Пусть дано