Для заданного высказывания определить, достаточно ли данных, чтобы определить его логическое значение:
1 если данных достаточно, то найти логическое значение высказывания;
2 если данных недостаточно, то показать, что возможны различные логические значения.