包括 truth function symbol 的结果。
是否要仅显示 Truth Funtion Symbols 的结果?
    某些结果已被隐藏,因为你可能无法访问这些结果。显示无法访问的结果