def example_formulas():
    return [
        "(x1|x2|x3)&(~x1|x4|x5)",
        "(x1|x2)&(~x2|x3|x4)",
        "(x1|x2|x3|x4)"
    ]