Molecular Logic and Computational Synthetic Biology