A tautology is a formula whose negation is unsatisfiable. Roughly spoken, a tautoloy is always true. For example, This statement is either true or false.
確定! 回上一頁