We demon-strated the strategy using variants of the transcription factor LacI and operator Olac that form specifically interacting pairs . Guided by a mathematical model derived from existing quantitative knowledge , rational designs of transcriptional NAND , NOR and NOT gates have been realized .