XCB--经典等价演算的最短单公理
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
摘要：
长期以来，公式XCB = EpEEEpqErqr是否是经典等价演算的一个公理，以及替换和分离规则，一直是一个悬而未决的问题。本文肯定地回答了这个问题，从而完成了对70年前开始的所有这类11符号单公理的搜索。
英文摘要：
It has long been an open question whether the formula XCB = EpEEEpqErqr is, with the rules of substitution and detachment, a single axiom for the classical equivalential calculus. This paper answers that question affirmatively, thus completing a search for all such eleven-symbol single axioms that began seventy years ago.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
