CNF Converter/DPLL.py
def is_negative_symbol(s):
	""" Function to find if s is a negative symbol by checking if its a list,
		length of the list s is equal to 2, first element in the list is not and 
		the length of second element in the list is equal to 1"""
	return isinstance(s, list) and len(s) == 2 and s[0] == NOT and len(s[1]) == 1
 Function to find if s is a negative symbol by checking if its a list,
		length of the list s is equal to 2, first element in the list is not and 
		the length of second element in the list is equal to 1
Function to find if s is a negative symbol by checking if its a list,
length of the list s is equal to 2, first element in the list is not and
the length of second element in the list is equal to 1
Function to find if s is a negative symbol by checking if its a list length of the list s is equal to 2 first element in the list is not and the length of second element in the list is equal to 1
def is_negative_symbol(s):
	return isinstance(s, list) and len(s) == 2 and s[0] == NOT and len(s[1]) == 1
def is_negative_symbol ( s ) : return isinstance ( s , list ) and len ( s ) == 2 and s [ 0 ] == NOT and len ( s [ 1 ] ) == 1
Function to find if s is a negative symbol by checking if its a list,
length of the list s is equal to 2, first element in the list is not and
the length of second element in the list is equal to 1
Function to find if s is a negative symbol by checking if its a list length of the list s is equal to 2 first element in the list is not and the length of second element in the list is equal to 1
""" Function to find if s is a negative symbol by checking if its a list,
		length of the list s is equal to 2, first element in the list is not and 
		the length of second element in the list is equal to 1"""
s