Construct a truth table for any suitable formula