要证明“implies_to_or -> de_morgan_not_and_not”，即通过不借助其他经典定律来证明以下等式成立：

(A implies B) -> ~(~A and ~B)

我们可以通过构造真值表的方法来证明这一等式。下面是一个使用Python代码示例来验证等式的真值表：

def implies_to_or(a, b):
    return (not a) or b

def de_morgan_not_and_not(a, b):
    return not (not a and not b)

def check_equivalence():
    for a in [True, False]:
        for b in [True, False]:
            implies_to_or_result = implies_to_or(a, b)
            de_morgan_not_and_not_result = de_morgan_not_and_not(a, b)
            if implies_to_or_result != de_morgan_not_and_not_result:
                return False
    return True

result = check_equivalence()
print(result)

在上述代码中，我们定义了两个函数implies_to_or和de_morgan_not_and_not来模拟implies_to_or和de_morgan_not_and_not的行为。然后，我们使用两个嵌套的循环来遍历所有可能的输入组合，并分别计算implies_to_or和de_morgan_not_and_not的结果。如果两个结果在任何情况下不相等，那么等式就不成立，返回False；否则，等式成立，返回True。

在这种情况下，我们可以得到输出结果为True，即通过不借助其他经典定律，可以证明“implies_to_or -> de_morgan_not_and_not”成立。