Skip to main content

Advertisement

Table 2 The truth table for \(K_d\) before and after removing regulator a (repair r)

From: Repairing Boolean logical models from time-series data using Answer Set Programming

A B C \(K_d(X) = (\lnot a \wedge b)\ \vee (\lnot a \wedge \lnot c)\) \(K_d(X) = b\ \vee \lnot c\)
0 0 0 1 1
0 0 1 0 0
0 1 0 1 1
0 1 1 1 1
1 0 0 0 1
1 0 1 0 0
1 1 0 0 1
1 1 1 0 1
  1. Italic values represent the changes in the truth table