src/parser.py
def determine_truth(self, x, y, rootname):
        ''' Determine the truth value of the formula using binary functions '''
        if rootname == '^':
            return self.and_val(x, y)
        elif rootname == 'v':
            return self.or_val(x, y)
        elif rootname == '->':
            return self.cond_val(x, y)
        elif rootname == '<->':
            return self.bicond_val(x, y)
 Determine the truth value of the formula using binary functions 
Determine the truth value of the formula using binary functions
Determine the truth value of the formula using binary functions
def determine_truth(self, x, y, rootname):
        if rootname == '^':
            return self.and_val(x, y)
        elif rootname == 'v':
            return self.or_val(x, y)
        elif rootname == '->':
            return self.cond_val(x, y)
        elif rootname == '<->':
            return self.bicond_val(x, y)
def determine_truth ( self , x , y , rootname ) : if rootname == '^' : return self . and_val ( x , y ) elif rootname == 'v' : return self . or_val ( x , y ) elif rootname == '->' : return self . cond_val ( x , y ) elif rootname == '<->' : return self . bicond_val ( x , y )
Determine the truth value of the formula using binary functions
Determine the truth value of the formula using binary functions
''' Determine the truth value of the formula using binary functions '''
self
x
y
rootname