Table 1 Boolean functions for the nodes in the FA/BRCA network

ICL ← ICL ∧¬ DSB

[38]

FAcore ← ICL ∧ (ATR ∨ ATM) ∧¬ CHKREC

[14, 16, 44–46]

FANCD2I ← FAcore ∧ ((ATR ∨ ATM) ∨ ((ATR ∨ ATM) ∧ DSB)) ∧

[47–49]

¬ (CHKREC)

NUC1 ←ICL ∧ FANCD2I

[50]; [38]

NUC2 ← (ICL ∧ (ATR ∨ ATM) ∧¬ (FAcore ∧ FANCD2I)) ∨

[51]; [38]

(ICL ∧ NUC1 ∧ p53 ∧¬(FAcore ∧ FANCD2I))

ADD ← (NUC1 ∨ NUC2 ∨ (NUC1 ∧ NUC2)) ∧¬ (TLS)

[47, 50, 51]

DSB ← (NUC1 ∨ NUC2) ∧¬ (NHEJ ∨ FAHRR ∨ HRR2)

[50, 52]

TLS ← (ADD ∨ (ADD ∧ FAcore)) ∧¬ (CHKREC)

[53, 54]

FAHRR ← DSB ∧ FANCD2I ∧¬ (NHEJ ∧ CHKREC)

[53, 54]

HRR2 ← (DSB ∧ NUC2 ∧ NHEJ ∧ ICL ∧¬ (FAHRR ∨ CHKREC)) ∨

[38]

(DSB ∧ NUC2 ∧ TLS ∧¬ (NHEJ ∨ FAHRR ∨ CHKREC))

NHEJ ← (DSB ∧ NUC2 ∧¬ (FAHRR ∨ HRR2 ∨ CHKREC))

[49, 52, 55–57]

ATR ←(ICL ∨ ATM) ∧¬ CHKREC

[58–60]

ATM ← (ATR ∨ DSB) ∧¬ CHKREC ∨ FAcore

[61, 62]

P53 ← ((ATR ∨ ATM) ∨ NHEJ) ∧¬ CHKREC

[58, 63, 64]

CHKREC ← ((TLS ∨ NHEJ ∨ FAHRR ∨ HRR2) ∧¬ DSB) ∨

[52, 53];

((¬ ADD) ∧ (¬ ICL) ∧ (¬ DSB) ∧¬ (CHKREC))

[38, 65]