Function / constraint | ||||||
---|---|---|---|---|---|---|
G a | G b | R | (Ga OR Gb)↦R / | [ (NOT Ga) OR Gb ]↦R / | (Ga AND Gb)↦R / | [ (NOT Ga) AND Gb]↦R / |
−1≤G a + G b −2R≤0 | 0≤G a + G b −2R≤1 | 0≤G a + G b −2R≤1 | −1≤−G a + G b −2R≤0 | |||
0 | 0 | 0 | 0 | * | 0 | 0 |
0 | 0 | 1 | * | -2 | * | * |
0 | 1 | 0 | * | * | 1 | * |
0 | 1 | 1 | -1 | -1 | * | -1 |
1 | 0 | 0 | * | -1 | 1 | -1 |
1 | 0 | 1 | 0 | * | * | * |
1 | 1 | 0 | * | * | * | 0 |
1 | 1 | 1 | 0 | -2 | 0 | * |