我有一个类似于下面的字符串逻辑表达式
String1 - (category = ((A || B) && C)) && (location = 1 && (2 || 3))
String2 - (category = (C && A)) && (location = 1 && 2)
我需要阻止用户输入相似的条件，在上述情况下，对于给定的值，两个条件都可能与运行时相似，它们可能会评估为相同的输出。
我可以将表达式转换为二进制表达式树并按字母顺序对节点进行排序，最后检查一棵树是否为另一棵树的子树吗？
这是可行的解决方案吗？还是有任何可用的库来处理这种情况？