{"id":"special-positions-three-way-conjunction","text":"A cell is special iff `mat[i][j] == 1`, `row_sums[i] == 1`, and `col_sums[j] == 1`; the `mat[i][j] == 1` check is technically redundant but short-circuits the sum lookups for the majority-zero cells.","truth_value":"IN","source":"entries/2026/06/06/special-positions-in-a-binary-matrix-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"special-positions-three-way-conjunction","truth_value":"IN","reason":"premise"}]}}