Table 1.
Boolean functions for the nodes in the FA-CHKREC network.
| ICL ← ICL ∧¬ (NUC1 ∨ NUC2) |
| FAcore ← ICL ∧¬ ((RNF4 ∧ PLK1) ∨ (FAcore ∧¬ ATR)) |
| FANCD2I ← FAcore ∧ (ATM ∨ ATR) ∧¬ FANCD2I |
| NUC1 ← (ICL ∧ FANCD2I) ∨ (DSB ∧ PARP-1) |
| RNF4 ← ICL ∧¬ FAcore |
| NUC2 ← ICL ∧ RNF4 ∧ PLK1 ∧¬ (R-DSB ∨ NUC1) |
| DSB ← (DSB ∨ ICL ∧ NUC2) ∧¬ (NHEJ ∨ NUC1) |
| PARP-1 ← (DSB ∨ R-DSB) ∧ gH2AX ∧¬ (KU-53BP1) |
| R-DSB ← (R-DSB ∨ ((ICL ∨ DSB) ∧ NUC1)) ∧¬ (HRR) |
| HRR ← gH2AX ∧ R-DSB ∧ ATM ∧¬ (PLK1 ∧ CycB-CDK1) |
| KU-53BP1 ← DSB ∧¬ PARP-1 |
| NHEJ ← KU-53BP1 ∧ DSB ∧ ATM ∧¬ (PLK1 ∧ CycB-CDK1) |
| gH2AX ← (DSB ∨ R-DSB) ∧ (ATM ∨ ATR ∨ gH2AX ∨ KU-53BP1) |
| ∧¬ (WIP1 ∧ PP2A-B55) |
| ATR ← (ICL ∨ ATM) ∧¬ (WIP1 ∨ (PLK1 ∧ KU-53BP1)) |
| ATM ← (ATR ∨ DSB ∨ R-DSB ∨ NUC1 ∨ FAcore) |
| ∧¬ (WIP1 ∨ PP2A-B55 ∨ (PLK1 ∧ KU-53BP1)) |
| MYT1 ← (ATM ∨ ATR) ∧¬ (CDC25 ∨ CycB-CDK1 ∨ PLK1) |
| WEE1 ← (ATM ∨ ATR ∨ PP2A-B55) ∧¬ (CDC25 ∨ CycB-CDK1 ∨ PLK1) |
| p53 ← (ATM ∨ ATR) ∧¬ (WIP1 ∧ (PLK1 ∨ CDK1-AurA)) |
| p21 ← p53 |
| PP2A-B55 ← (ATM ∨ ATR) ∧¬ CycB-CDK1 |
| WIP1 ← p53 |
| CDK1-AurA ← CycB-CDK1 ∨ CDC25 ∨¬ (p21 ∧ PP2A-B55) |
| ∧¬ (WEE1 ∨ MYT1 ∨ ATM ∨ ATR) |
| PLK1 ← CycB-CDK1 ∨ (ICL ∧ ATR ∧¬ FAcore) ∨ ((CDK1-AurA) |
| ∧¬ (MYT1 ∨ WEE1 ∨ ATR ∨ ATM)) |
| CDC25 ← CycB-CDK1 ∨ (PLK1 ∧ (CycB-CDK1 ∨ CDK1-AurA) |
| ∧¬ ((WEE1 ∨ MYT1) ∧ (PP2A-B55 ∨ ATM ∨ ATR))) |
| CycB-CDK1 ← CycB-CDK1 ∨ (CDC25 ∧ Plk1 ∧ CDK1-AurA) ∧¬ p21 |