Adds truth table prototype