def METHOD_NAME():
    pytest.raises(ValueError, lambda: Logic.fromstring('a&b'))
    pytest.raises(ValueError, lambda: Logic.fromstring('a|b'))
    pytest.raises(ValueError, lambda: Logic.fromstring('~ a'))