CNF Converter/DPLL.py
def make_clauses(sentence):
	""" Function to form clauses from the given input and return a list of all clauses"""
	clauses=[]
	for i in range(1,len(sentence)):
		if(sentence[0] == NOT):	# for negative clauses or symbols
			clauses.append([NOT,sentence[i]])
		else:					# for positive clauses or symbols
			clauses.append(sentence[i])
	return clauses
 Function to form clauses from the given input and return a list of all clauses
Function to form clauses from the given input and return a list of all clauses
Function to form clauses from the given input and return a list of all clauses
def make_clauses(sentence):
	clauses=[]
	for i in range(1,len(sentence)):
		if(sentence[0] == NOT):	
			clauses.append([NOT,sentence[i]])
		else:					
			clauses.append(sentence[i])
	return clauses
def make_clauses ( sentence ) : clauses = [ ] for i in range ( 1 , len ( sentence ) ) : if ( sentence [ 0 ] == NOT ) : clauses . append ( [ NOT , sentence [ i ] ] ) else : clauses . append ( sentence [ i ] ) return clauses
Function to form clauses from the given input and return a list of all clauses
Function to form clauses from the given input and return a list of all clauses
""" Function to form clauses from the given input and return a list of all clauses""" # for negative clauses or symbols
 # for positive clauses or symbols

sentence