Tautology or contradiction.md

33 - Tautology or contradiction

Tautologies (always true) or contradictions (always false) indicate potential flawed logic or redundant checks. e.g. x >= 0 which is always true if x is uint. (see here)

---

Slide Screenshot

---

Slide Text

• Tautology -> Always True
• Contradiction -> Always False
• x >= 0
• uint x
• Flawed Logic -> Redundant Check

---

References

• Youtube Reference

---

Tags