. 2019 Mar 25;14:9. doi: 10.1186/s13015-019-0145-8

Table 2.

The truth table for $K_{d}$ before and after removing regulator a (repair r)

A	B	C	$K_{d} (X) = (\neg a \land b) \lor (\neg a \land \neg c)$	$K_{d} (X) = b \lor \neg 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

Italic values represent the changes in the truth table