CNF Converter/CNFConverter.py
def recursive_call(input,flag):
	""" Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list """
	output = [] ;
	output.append(input[0]);
	for i in range(1,len(input)):
		if flag == 1:
			output.append(eliminate_biconditional(input[i]))
		elif flag == 2:
			output.append(eliminate_implication(input[i]))
		elif flag == 3:
			output.append(inner_demorgan(input[i]))
		elif flag == 4:
			output.append(outer_demorgan(input[i]))
		elif flag == 5:
			output.append(eliminate_double_negation(input[i]))
	return output
 Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list 
Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list
Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list
def recursive_call(input,flag):
	output = [] ;
	output.append(input[0]);
	for i in range(1,len(input)):
		if flag == 1:
			output.append(eliminate_biconditional(input[i]))
		elif flag == 2:
			output.append(eliminate_implication(input[i]))
		elif flag == 3:
			output.append(inner_demorgan(input[i]))
		elif flag == 4:
			output.append(outer_demorgan(input[i]))
		elif flag == 5:
			output.append(eliminate_double_negation(input[i]))
	return output
def recursive_call ( input , flag ) : output = [ ] ; output . append ( input [ 0 ] ) ; for i in range ( 1 , len ( input ) ) : if flag == 1 : output . append ( eliminate_biconditional ( input [ i ] ) ) elif flag == 2 : output . append ( eliminate_implication ( input [ i ] ) ) elif flag == 3 : output . append ( inner_demorgan ( input [ i ] ) ) elif flag == 4 : output . append ( outer_demorgan ( input [ i ] ) ) elif flag == 5 : output . append ( eliminate_double_negation ( input [ i ] ) ) return output
Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list
Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list
""" Helper function to simplify recursion calls which adds the outputing clauses or symbols to the output list """
input
flag