A dual of a logical statement is a sort of inversion of the statement.
Consider a logic statement . For each individual element or operator in , we replace:
Such a statement is the dual of the statement. An interesting fact of logic is that if a logical statement is true, then its dual is true.
This article is a stub. Help us out by expanding it.