operators.py

def conjunction(left_conjunct,right_conjunct):
    return bool(left_conjunct and right_conjunct)

def disjunction(left_disjunct,right_disjunct):
    return bool(left_disjunct or right_disjunct)

def negation(a):
    return not(a)

def implication(antecedent, consequent):
    if consequent:
        return True
    elif not(antecedent) and not(consequent):
        return True
    else:
        return False
        
def biconditional(left_bicomponent,right_bicomponent):
    return bool(left_bicomponent) == bool(right_bicomponent)