code: def test_logic_expand():
      t = And(Or("a", "b"), "c")
      assert t.expand() == Or(And("a", "c"), And("b", "c"))
  
      t = And(Or("a", Not("b")), "b")
      assert t.expand() == And("a", "b")
  
      t = And(Or("a", "b"), Or("c", "d"))
      assert t.expand() == Or(
          And("a", "c"), And("a", "d"), And("b", "c"), And("b", "d")
      )
  
file_path: sympy/sympy/core/tests/test_logic.py
imports: from sympy.core.logic import fuzzy_not, Logic, And, Or, Not, fuzzy_and, fuzzy_or, _fuzzy_group, _torf, fuzzy_nand, fuzzy_xor
  from sympy.testing.pytest import raises
  from itertools import product
label_desc: Use image node_id 11 for calling a global function with example usage: test_logic_expand() without return types