PUZZLE #11365: Logic Gate Circuit (diff 4)

logic-gate learn difficulty: 4/7 reason author: system unsolved

A digital logic circuit with 40 gates (6x AND, 20x NOT, 14x OR). Simulate the gates forward from the given inputs. The output bits encode a 4-character word using 5-bit binary (A=00000 through Z=11001).

DATA

Difficulty	`4`
Word Length	`4`
Output Width	`20`
Encoding	`5-bit binary (A=00000, B=00001, ..., Z=11001)`
Gates	{'id': 'g0', 'type': 'OR', 'inputs': ['i0', 'i1'], 'output': 'n1'}, {'id': 'g1', 'type': 'NOT', 'inputs': ['n1'], 'output': 'o0'}, {'id': 'g2', 'type': 'OR', 'inputs': ['i2', 'i3'], 'output': 'n2'}, {'id': 'g3', 'type': 'NOT', 'inputs': ['n2'], 'output': 'o1'}, {'id': 'g4', 'type': 'OR', 'inputs': ['i4', 'i5'], 'output': 'n3'}, {'id': 'g5', 'type': 'NOT', 'inputs': ['n3'], 'output': 'o2'}, {'id': 'g6', 'type': 'AND', 'inputs': ['i6', 'i7'], 'output': 'n4'}, {'id': 'g7', 'type': 'NOT', 'inputs': ['n4'], 'output': 'o3'}, {'id': 'g8', 'type': 'AND', 'inputs': ['i8', 'i9'], 'output': 'n5'}, {'id': 'g9', 'type': 'NOT', 'inputs': ['n5'], 'output': 'o4'}, {'id': 'g10', 'type': 'OR', 'inputs': ['i10', 'i11'], 'output': 'n6'}, {'id': 'g11', 'type': 'NOT', 'inputs': ['n6'], 'output': 'o5'}, {'id': 'g12', 'type': 'OR', 'inputs': ['i12', 'i13'], 'output': 'n7'}, {'id': 'g13', 'type': 'NOT', 'inputs': ['n7'], 'output': 'o6'}, {'id': 'g14', 'type': 'OR', 'inputs': ['i14', 'i15'], 'output': 'n8'}, {'id': 'g15', 'type': 'NOT', 'inputs': ['n8'], 'output': 'o7'}, {'id': 'g16', 'type': 'OR', 'inputs': ['i16', 'i17'], 'output': 'n9'}, {'id': 'g17', 'type': 'NOT', 'inputs': ['n9'], 'output': 'o8'}, {'id': 'g18', 'type': 'OR', 'inputs': ['i18', 'i19'], 'output': 'n10'}, {'id': 'g19', 'type': 'NOT', 'inputs': ['n10'], 'output': 'o9'}, {'id': 'g20', 'type': 'AND', 'inputs': ['i20', 'i21'], 'output': 'n11'}, {'id': 'g21', 'type': 'NOT', 'inputs': ['n11'], 'output': 'o10'}, {'id': 'g22', 'type': 'OR', 'inputs': ['i22', 'i23'], 'output': 'n12'}, {'id': 'g23', 'type': 'NOT', 'inputs': ['n12'], 'output': 'o11'}, {'id': 'g24', 'type': 'AND', 'inputs': ['i24', 'i25'], 'output': 'n13'}, {'id': 'g25', 'type': 'NOT', 'inputs': ['n13'], 'output': 'o12'}, {'id': 'g26', 'type': 'OR', 'inputs': ['i26', 'i27'], 'output': 'n14'}, {'id': 'g27', 'type': 'NOT', 'inputs': ['n14'], 'output': 'o13'}, {'id': 'g28', 'type': 'OR', 'inputs': ['i28', 'i29'], 'output': 'n15'}, {'id': 'g29', 'type': 'NOT', 'inputs': ['n15'], 'output': 'o14'}, {'id': 'g30', 'type': 'OR', 'inputs': ['i30', 'i31'], 'output': 'n16'}, {'id': 'g31', 'type': 'NOT', 'inputs': ['n16'], 'output': 'o15'}, {'id': 'g32', 'type': 'OR', 'inputs': ['i32', 'i33'], 'output': 'n17'}, {'id': 'g33', 'type': 'NOT', 'inputs': ['n17'], 'output': 'o16'}, {'id': 'g34', 'type': 'AND', 'inputs': ['i34', 'i35'], 'output': 'n18'}, {'id': 'g35', 'type': 'NOT', 'inputs': ['n18'], 'output': 'o17'}, {'id': 'g36', 'type': 'OR', 'inputs': ['i36', 'i37'], 'output': 'n19'}, {'id': 'g37', 'type': 'NOT', 'inputs': ['n19'], 'output': 'o18'}, {'id': 'g38', 'type': 'AND', 'inputs': ['i38', 'i39'], 'output': 'n20'}, {'id': 'g39', 'type': 'NOT', 'inputs': ['n20'], 'output': 'o19'}
Inputs	{ "i0": 1, "i1": 1, "i10": 0, "i11": 0, "i12": 1, "i13": 1, "i14": 0, "i15": 0, "i16": 1, "i17": 1, "i18": 1, "i19": 1, "i2": 1, "i20": 1, "i21": 1, "i22": 0, "i23": 0, "i24": 1, "i25": 1, "i26": 0, "i27": 0, "i28": 0, "i29": 0, "i3": 1, "i30": 1, "i31": 0, "i32": 0, "i33": 0, "i34": 1, "i35": 1, "i36": 0, "i37": 0, "i38": 0, "i39": 0, "i4": 0, "i5": 0, "i6": 1, "i7": 1, "i8": 0, "i9": 0 }
Output Nodes	`o0, o1, o2, o3, o4, o5, o6, o7, o8, o9, o10, o11, o12, o13, o14, o15, o16, o17, o18, o19`
N Gates	`40`
N Inputs	`40`
Instructions	Digital logic circuit — simulate the gates forward. 1. Start with the given input values (bits). 2. For each gate in topological order: - Read its input values (from inputs or previous gate outputs) - Compute output based on gate type: BUF = input NOT = 1 - input AND = 1 if ALL inputs are 1, else 0 NAND = 0 if ALL inputs are 1, else 1 OR = 1 if ANY input is 1, else 0 NOR = 0 if ANY input is 1, else 1 XOR = 1 if odd number of 1s, else 0 XNOR = 1 if even number of 1s, else 0 3. After all gates are simulated, read the output nodes. 4. Group the output bits into 5-bit chunks. 5. Map each 5-bit value to a letter (0=A, 1=B, ..., 25=Z). 6. Concatenate to spell the hidden word.
Hint	`Logic circuit: 40 gates (6x AND, 20x NOT, 14x OR), 40 inputs, 4 chars (20 output bits). Simulate forward, decode 5-bit binary.`
Answer Format	`5-bit binary string (e.g., "01010")`

{
  "type": "logic-gate",
  "difficulty": 4,
  "word_length": 4,
  "output_width": 20,
  "encoding": "5-bit binary (A=00000, B=00001, ..., Z=11001)",
  "gates": [
    {
      "id": "g0",
      "type": "OR",
      "inputs": [
        "i0",
        "i1"
      ],
      "output": "n1"
    },
    {
      "id": "g1",
      "type": "NOT",
      "inputs": [
        "n1"
      ],
      "output": "o0"
    },
    {
      "id": "g2",
      "type": "OR",
      "inputs": [
        "i2",
        "i3"
      ],
      "output": "n2"
    },
    {
      "id": "g3",
      "type": "NOT",
      "inputs": [
        "n2"
      ],
      "output": "o1"
    },
    {
      "id": "g4",
      "type": "OR",
      "inputs": [
        "i4",
        "i5"
      ],
      "output": "n3"
    },
    {
      "id": "g5",
      "type": "NOT",
      "inputs": [
        "n3"
      ],
      "output": "o2"
    },
    {
      "id": "g6",
      "type": "AND",
      "inputs": [
        "i6",
        "i7"
      ],
      "output": "n4"
    },
    {
      "id": "g7",
      "type": "NOT",
      "inputs": [
        "n4"
      ],
      "output": "o3"
    },
    {
      "id": "g8",
      "type": "AND",
      "inputs": [
        "i8",
        "i9"
      ],
      "output": "n5"
    },
    {
      "id": "g9",
      "type": "NOT",
      "inputs": [
        "n5"
      ],
      "output": "o4"
    },
    {
      "id": "g10",
      "type": "OR",
      "inputs": [
        "i10",
        "i11"
      ],
      "output": "n6"
    },
    {
      "id": "g11",
      "type": "NOT",
      "inputs": [
        "n6"
      ],
      "output": "o5"
    },
    {
      "id": "g12",
      "type": "OR",
      "inputs": [
        "i12",
        "i13"
      ],
      "output": "n7"
    },
    {
      "id": "g13",
      "type": "NOT",
      "inputs": [
        "n7"
      ],
      "output": "o6"
    },
    {
      "id": "g14",
      "type": "OR",
      "inputs": [
        "i14",
        "i15"
      ],
      "output": "n8"
    },
    {
      "id": "g15",
      "type": "NOT",
      "inputs": [
        "n8"
      ],
      "output": "o7"
    },
    {
      "id": "g16",
      "type": "OR",
      "inputs": [
        "i16",
        "i17"
      ],
      "output": "n9"
    },
    {
      "id": "g17",
      "type": "NOT",
      "inputs": [
        "n9"
      ],
      "output": "o8"
    },
    {
      "id": "g18",
      "type": "OR",
      "inputs": [
        "i18",
        "i19"
      ],
      "output": "n10"
    },
    {
      "id": "g19",
      "type": "NOT",
      "inputs": [
        "n10"
      ],
      "output": "o9"
    },
    {
      "id": "g20",
      "type": "AND",
      "inputs": [
        "i20",
        "i21"
      ],
      "output": "n11"
    },
    {
      "id": "g21",
      "type": "NOT",
      "inputs": [
        "n11"
      ],
      "output": "o10"
    },
    {
      "id": "g22",
      "type": "OR",
      "inputs": [
        "i22",
        "i23"
      ],
      "output": "n12"
    },
    {
      "id": "g23",
      "type": "NOT",
      "inputs": [
        "n12"
      ],
      "output": "o11"
    },
    {
      "id": "g24",
      "type": "AND",
      "inputs": [
        "i24",
        "i25"
      ],
      "output": "n13"
    },
    {
      "id": "g25",
      "type": "NOT",
      "inputs": [
        "n13"
      ],
      "output": "o12"
    },
    {
      "id": "g26",
      "type": "OR",
      "inputs": [
        "i26",
        "i27"
      ],
      "output": "n14"
    },
    {
      "id": "g27",
      "type": "NOT",
      "inputs": [
        "n14"
      ],
      "output": "o13"
    },
    {
      "id": "g28",
      "type": "OR",
      "inputs": [
        "i28",
        "i29"
      ],
      "output": "n15"
    },
    {
      "id": "g29",
      "type": "NOT",
      "inputs": [
        "n15"
      ],
      "output": "o14"
    },
    {
      "id": "g30",
      "type": "OR",
      "inputs": [
        "i30",
        "i31"
      ],
      "output": "n16"
    },
    {
      "id": "g31",
      "type": "NOT",
      "inputs": [
        "n16"
      ],
      "output": "o15"
    },
    {
      "id": "g32",
      "type": "OR",
      "inputs": [
        "i32",
        "i33"
      ],
      "output": "n17"
    },
    {
      "id": "g33",
      "type": "NOT",
      "inputs": [
        "n17"
      ],
      "output": "o16"
    },
    {
      "id": "g34",
      "type": "AND",
      "inputs": [
        "i34",
        "i35"
      ],
      "output": "n18"
    },
    {
      "id": "g35",
      "type": "NOT",
      "inputs": [
        "n18"
      ],
      "output": "o17"
    },
    {
      "id": "g36",
      "type": "OR",
      "inputs": [
        "i36",
        "i37"
      ],
      "output": "n19"
    },
    {
      "id": "g37",
      "type": "NOT",
      "inputs": [
        "n19"
      ],
      "output": "o18"
    },
    {
      "id": "g38",
      "type": "AND",
      "inputs": [
        "i38",
        "i39"
      ],
      "output": "n20"
    },
    {
      "id": "g39",
      "type": "NOT",
      "inputs": [
        "n20"
      ],
      "output": "o19"
    }
  ],
  "inputs": {
    "i0": 1,
    "i1": 1,
    "i10": 0,
    "i11": 0,
    "i12": 1,
    "i13": 1,
    "i14": 0,
    "i15": 0,
    "i16": 1,
    "i17": 1,
    "i18": 1,
    "i19": 1,
    "i2": 1,
    "i20": 1,
    "i21": 1,
    "i22": 0,
    "i23": 0,
    "i24": 1,
    "i25": 1,
    "i26": 0,
    "i27": 0,
    "i28": 0,
    "i29": 0,
    "i3": 1,
    "i30": 1,
    "i31": 0,
    "i32": 0,
    "i33": 0,
    "i34": 1,
    "i35": 1,
    "i36": 0,
    "i37": 0,
    "i38": 0,
    "i39": 0,
    "i4": 0,
    "i5": 0,
    "i6": 1,
    "i7": 1,
    "i8": 0,
    "i9": 0
  },
  "output_nodes": [
    "o0",
    "o1",
    "o2",
    "o3",
    "o4",
    "o5",
    "o6",
    "o7",
    "o8",
    "o9",
    "o10",
    "o11",
    "o12",
    "o13",
    "o14",
    "o15",
    "o16",
    "o17",
    "o18",
    "o19"
  ],
  "n_gates": 40,
  "n_inputs": 40,
  "instructions": "Digital logic circuit \u2014 simulate the gates forward.\n\n1. Start with the given input values (bits).\n2. For each gate in topological order:\n   - Read its input values (from inputs or previous gate outputs)\n   - Compute output based on gate type:\n     BUF = input\n     NOT = 1 - input\n     AND = 1 if ALL inputs are 1, else 0\n     NAND = 0 if ALL inputs are 1, else 1\n     OR = 1 if ANY input is 1, else 0\n     NOR = 0 if ANY input is 1, else 1\n     XOR = 1 if odd number of 1s, else 0\n     XNOR = 1 if even number of 1s, else 0\n3. After all gates are simulated, read the output nodes.\n4. Group the output bits into 5-bit chunks.\n5. Map each 5-bit value to a letter (0=A, 1=B, ..., 25=Z).\n6. Concatenate to spell the hidden word.",
  "hint": "Logic circuit: 40 gates (6x AND, 20x NOT, 14x OR), 40 inputs, 4 chars (20 output bits). Simulate forward, decode 5-bit binary.",
  "answer_format": "5-bit binary string (e.g., \"01010\")"
}

author's note: Pool fill: logic-gate diff 4