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