Задача 47. Логическая переменная x называется несущественной для логического фрагмента L, если существует логический фрагмент L', эквивалентный L и такой, что он не содержит вершин с условием х. По заданному логическому фрагменту определить, является ли переменная х существенной для него.
