for simv in n:
	for chya in ch:
		for operator in operators:

>>> n = 1
>>> if n in [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]:
	print('счастье и радость!')

	
счастье и радость!

n= "(((!x)>x)_((!y)=(!x)))" # Юзер задал какуюто функцию
ch=["x","y"]  # программа должна определить переменные (я ещё не придумал функциии но помойму это не сложно)
operatorsNO = [">","<","=","_","&"]  # я задал операторы включаа яоператор НЕТ
operators = [">","<","=","_"] # я задал опрераторы без оператора НЕТ
# мне надо сделать так чтоб после переменной небыло открывающейся скобки, другой переменой или оператора НЕ,
# ещё нужно чтобы перед переменной небыло закрывающейся скобки или другой переменной
# НУ И 3 это чтоб если до переменной стоит оператор, то после неё опрератора быть уже не может
# ну и наоборот, если после переменной стоит опрератор то до переменной оператора быть не может
for simv in n:                                                    
	for chya in ch:
		for operator in operators:   # таким способом будут состыковыватся все виды символов
			for operatorNO in operatorsNO:
				if simv == chya: # я нашел переменную в строке
					t=0 
					while t<len(n): 
						if n[t]==simv:
							q=t
							break #   я определил номер переменной в строке
						t=t+1
					if n[q+1]== "(" or n[q+1]=="&": # после переменной небыло открывающейся скобки или оператора НЕ, 
						tf = False
					if n[q-1]==")": # перед переменной небыло закрывающейся скобки
						tf = False
					if n[q+1]==operator:  # если после переменной стоит опрератор то до переменной оператора быть не может
						if n[q-1]==operatorNO:
							tf = False
					if n[q-1]==operator: # если до переменной стоит оператор, то после неё опрератора быть уже не может
						if n[q+1]==operatorNO:
							tf = False

>>>n = "(((!x)>x_)_((!y)=(!x)))" # тут ошибка в этом месте >x_ , если до переменой стоит оператор, то после неё уже не может,и наоборот.
tf = True 
>>> for simv in n:
	for chya in ch:
		for operator in operators:
			for operatorNO in operatorsNO:
				if simv == chya:
					t=0
					while t<len(n):
						if n[t]==simv:
							q=t
							break
						t=t+1
					if n[q+1]== "(" or n[q+1]=="&":
						tf = False
					if n[q-1]==")":
						tf = False
					if n[q+1]==operator:
						if n[q-1]==operatorNO:
							tf = False
					if n[q-1]==operator:
						if n[q+1]==operatorNO:
							tf = False

							
>>> tf
True