不矛盾律的公式是:A不是非A。
出自:国家开放大学《法律逻辑学》