docs: def B3(formula):
      """
      Rewrite formula eval result into Boolean3
      :param formula:
      :return: Boolean3
      """
      if isinstance(formula, true) or formula is True or formula == Boolean3.Top.name or formula == Boolean3.Top.value:
          return Boolean3.Top
      if isinstance(formula, false) or formula is False or formula == Boolean3.Bottom.name or formula == Boolean3.Bottom.value:
          return Boolean3.Bottom
      else:
          return Boolean3.Unknown