original_docstring: 
  	Replaces the conditions of the current expression with conditions
  	of the next shallower layer
  	
      param DNF -- DNF at layer
      param d -- BNN
  	
docstring: Replaces the conditions of the current expression with conditions
  of the next shallower layer
  
  param DNF -- DNF at layer
  param d -- BNN
docstring_tokens: Replaces the conditions of the current expression with conditions of the next shallower layer param DNF -- DNF at layer param d -- BNN
code: def replace_rules(DNF, d):
  	'''
  	Replaces the conditions of the current expression with conditions
  	of the next shallower layer
  	
      param DNF -- DNF at layer
      param d -- BNN
  	'''
  	if not isinstance(DNF, list):
  			return DNF
  	rules = set([])
  	num_cs = len(DNF)
  	i = 0
  	for c in DNF:		
  		i+=1
  		print('Conjunction '+str(i)+' from '+str(num_cs))
  		h = handle_boolean_values(c, d)
  		if isinstance(h, list):
  			for x in itertools.product(*(d[i] for i in h)):
  				rule = s.delete_redundant_terms(reduce(concat, x))
  				if rule:
  					s.insert_non_redundant(rules, rule)
  		else:
  			if h == True:
  				return True
  	if len(rules) > 0:
  		return [list(t) for t in rules]
  	else:
  		return False
code_tokens: def replace_rules ( DNF , d ) : if not isinstance ( DNF , list ) : return DNF rules = set ( [ ] ) num_cs = len ( DNF ) i = 0 for c in DNF : i += 1 print ( 'Conjunction ' + str ( i ) + ' from ' + str ( num_cs ) ) h = handle_boolean_values ( c , d ) if isinstance ( h , list ) : for x in itertools . product ( * ( d [ i ] for i in h ) ) : rule = s . delete_redundant_terms ( reduce ( concat , x ) ) if rule : s . insert_non_redundant ( rules , rule ) else : if h == True : return True if len ( rules ) > 0 : return [ list ( t ) for t in rules ] else : return False
short_docstring: Replaces the conditions of the current expression with conditions
  of the next shallower layer
short_docstring_tokens: Replaces the conditions of the current expression with conditions of the next shallower layer
comment: '''
  	Replaces the conditions of the current expression with conditions
  	of the next shallower layer
  	
      param DNF -- DNF at layer
      param d -- BNN
  	'''