Boolean formalization of genetic control circuits.

Boolean formalization of genetic control circuits.