reddynitish.github.io

validate_circuit

Check whether the circuit correctly implements a named function (AND, OR, NOT, XOR, NAND, NOR, HALF_ADDER, FULL_ADDER, MUX_2TO1, DECODER_2TO4) across every input combination. The comparison is exact, code-computed truth-table matching — not a guess — and returns the specific input rows where the circuit's behavior diverges from the expected function, so you can pinpoint what's wrong.

Page: /logiclab/

Input schema

{
  "type": "object",
  "properties": {
    "targetFunction": {
      "type": "string",
      "enum": [
        "AND",
        "OR",
        "NOT",
        "XOR",
        "NAND",
        "NOR",
        "HALF_ADDER",
        "FULL_ADDER",
        "MUX_2TO1",
        "DECODER_2TO4"
      ]
    }
  },
  "required": [
    "targetFunction"
  ]
}