A cornerstone of classical logic, the law of non-contradiction asserts that a statement and its negation cannot both be true…