Possible coefficients for x: [-2, -1, 0, 1, 2], for y: [-2, -1, 0, 1, 2], for z: [1, 2, 3, 4], for offset: [-5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5]
Truth table (00, 01, 10, 11): (0, 0, 0, 0)
    0 * x + 0 * y + 1 * z + 1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 0, 0, 1)
    -2 * x + -2 * y + 4 * z + 1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 0, 1, 0)
    -2 * x + 2 * y + 4 * z + -1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 0, 1, 1)
    -1 * x + 0 * y + 1 * z + 1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 1, 0, 0)
    2 * x + -2 * y + 4 * z + -1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 1, 0, 1)
    0 * x + 1 * y + 1 * z + -1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 1, 1, 0)
    1 * x + 1 * y + 1 * z + -1 \in {-1, 1}
Truth table (00, 01, 10, 11): (0, 1, 1, 1)
    -2 * x + -2 * y + 4 * z + -1 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 0, 0, 0)
    2 * x + 2 * y + 4 * z + -3 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 0, 0, 1)
    1 * x + 1 * y + 1 * z + -2 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 0, 1, 0)
    0 * x + -1 * y + 1 * z + 0 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 0, 1, 1)
    -2 * x + 2 * y + 4 * z + -3 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 1, 0, 0)
    -1 * x + 0 * y + 1 * z + 0 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 1, 0, 1)
    2 * x + -2 * y + 4 * z + -3 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 1, 1, 0)
    2 * x + 2 * y + 4 * z + -5 \in {-1, 1}
Truth table (00, 01, 10, 11): (1, 1, 1, 1)
    0 * x + 0 * y + 1 * z + 0 \in {-1, 1}