Skip to main content

Table 3 Truth table for SCR

From: "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

SHR SCR JKD MGP SCR'
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 1
1 1 0 1 *
1 1 1 0 1
1 1 1 1 1