Construction and validation of logic functions in a biological chassis