The formulation of the control of an expression pattern in a gene network by propositional calculus.

The formulation of the control of an expression pattern in a gene network by propositional calculus.