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 |