Propositional Logic Parser

P¬PQ¬∧∨PQ→↔

{
  "op": "↔",
  "args": [
    {
      "op": "∨",
      "args": [
        {
          "op": "¬",
          "args": [
            "P"
          ]
        },
        {
          "op": "∧",
          "args": [
            "P",
            {
              "op": "¬",
              "args": [
                "Q"
              ]
            }
          ]
        }
      ]
    },
    {
      "op": "→",
      "args": [
        "P",
        "Q"
      ]
    }
  ]
}

P	Q	Output
0	0	1
0	1	0
1	0	1
1	1	0