Python _formula_str примеры использования

Пример #1

def test_formula_string5():
    assert sat._formula_str(["a", ["b", ["c", "d"]]]) == "(a & (b | (c & d)))"

Пример #2

def test_formula_string4():
    assert sat._formula_str(["a", ["b", "c"]]) == "(a & (b | c))"

Пример #3

def test_formula_string2():
    assert sat._formula_str(["a", "b"]) == "(a & b)"

Пример #4

def test_formula_string3():
    assert sat._formula_str(["a", ["b"]]) == "(a & (b))"

Пример #5

def test_formula_string1():
    assert sat._formula_str(["a"]) == "(a)"