$\mbox{false}\lor ((\mathrm{CtrA}=0)\land (\mathrm{GcrA}=1)\land (\mathrm{CcrM}=0)\land (\mathrm{SciP}=0)\land \mbox{true})\lor ((\mathrm{CtrA}=1)\land (\mathrm{CcrM}=0)\land (\mathrm{SciP}=0))$ $(\mathrm{CtrA}=0)\land (\mathrm{DnaA}=1)$ $(\mathrm{CtrA}=1)\land (\mathrm{GcrA}=0)\land (\mathrm{DnaA}=0)\land (\mathrm{CcrM}=1)$ $(\mathrm{CtrA}=1)\land (\mathrm{CcrM}=0)\land (\mathrm{SciP}=0)$ $(\mathrm{CtrA}=1)\land (\mathrm{DnaA}=0)$