"Boolean logic" meaning in English

{
  "forms": [
    {
      "form": "Boolean logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "Boolean logic (usually uncountable, plural Boolean logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computing",
          "orig": "en:Computing",
          "parents": [
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Boolean logic can be shown to be \"embedded\" in integer arithmetic (modulo 2) by assigning polynomials to logical connectives, like so: operatorname NOT(x)=1-x,  operatorname AND(x,y)=xy,  operatorname OR(x,y)=x+y-xy."
        }
      ],
      "glosses": [
        "A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "hypernyms": [
        {
          "word": "logic"
        }
      ],
      "id": "en-Boolean_logic-en-noun-K8rsjQmS",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "system",
          "system"
        ],
        [
          "symbolic",
          "symbolic"
        ],
        [
          "Boolean algebra",
          "Boolean algebra"
        ]
      ],
      "raw_glosses": [
        "(computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "sciences"
      ],
      "translations": [
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "Booleova logika"
        },
        {
          "code": "cs",
          "lang": "Czech",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "booleovská logika"
        },
        {
          "code": "fr",
          "lang": "French",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "logique booléenne"
        },
        {
          "code": "de",
          "lang": "German",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "boolesche Logik"
        },
        {
          "code": "mk",
          "lang": "Macedonian",
          "roman": "Bulova logika",
          "sense": "system of symbolic logic",
          "tags": [
            "feminine"
          ],
          "word": "Булова логика"
        },
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "system of symbolic logic",
          "tags": [
            "Latin",
            "feminine"
          ],
          "word": "Booleova logika"
        },
        {
          "code": "tr",
          "lang": "Turkish",
          "sense": "system of symbolic logic",
          "word": "Boole mantığı"
        }
      ]
    }
  ],
  "word": "Boolean logic"
}

{
  "forms": [
    {
      "form": "Boolean logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "Boolean logic (usually uncountable, plural Boolean logics)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "word": "logic"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "English uncountable nouns",
        "en:Computing",
        "en:Logic",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "Boolean logic can be shown to be \"embedded\" in integer arithmetic (modulo 2) by assigning polynomials to logical connectives, like so: operatorname NOT(x)=1-x,  operatorname AND(x,y)=xy,  operatorname OR(x,y)=x+y-xy."
        }
      ],
      "glosses": [
        "A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "system",
          "system"
        ],
        [
          "symbolic",
          "symbolic"
        ],
        [
          "Boolean algebra",
          "Boolean algebra"
        ]
      ],
      "raw_glosses": [
        "(computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra"
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "Booleova logika"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "booleovská logika"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "logique booléenne"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "boolesche Logik"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "Bulova logika",
      "sense": "system of symbolic logic",
      "tags": [
        "feminine"
      ],
      "word": "Булова логика"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "system of symbolic logic",
      "tags": [
        "Latin",
        "feminine"
      ],
      "word": "Booleova logika"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "system of symbolic logic",
      "word": "Boole mantığı"
    }
  ],
  "word": "Boolean logic"
}