Documented truth table and extended examples