Skip to main content

Advertisement

Table 1 Possible repairs for the function A \(\wedge\) B and which repairs are used to achieve them

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

Function Repairs used
\(\lnot A \wedge \lnot B\) n
\(\lnot A \wedge B\) n
\(A \wedge \lnot B\) n
\(A \vee B\) s
\(\lnot A \vee B\) s,n
\(A \vee \lnot B\) s,n
\(\lnot A \vee \lnot B\) s,n
A r
B r
\(\lnot A\) r,n
\(\lnot B\) r,n
\((A \vee B) \wedge (\lnot A \vee \lnot B)\)
\((A \wedge B) \vee (\lnot A \wedge \lnot B)\)
true
false