包括 identities conditional and contradictions equations 的结果。
是否要仅显示 Identity Condotional and Contradiction Equation 的结果?
    某些结果已被隐藏，因为你可能无法访问这些结果。显示无法访问的结果