server.py
def valid_req():
	''' return the validity of deriving a conclusion from a set of formulae '''
	# decode formulae
	formulae = request.data.decode('UTF-8')
	
	# parse the formulae and return the truth matrices
	return jsonify(respond(formulae))
 return the validity of deriving a conclusion from a set of formulae 
return the validity of deriving a conclusion from a set of formulae
return the validity of deriving a conclusion from a set of formulae
def valid_req():
	formulae = request.data.decode('UTF-8')
	return jsonify(respond(formulae))
def valid_req ( ) : formulae = request . data . decode ( 'UTF-8' ) return jsonify ( respond ( formulae ) )
return the validity of deriving a conclusion from a set of formulae
return the validity of deriving a conclusion from a set of formulae
''' return the validity of deriving a conclusion from a set of formulae ''' # decode formulae # parse the formulae and return the truth matrices