Exemplo n.º 1
0
def mfj(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing jointly")
Exemplo n.º 2
0
def mfs(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing separately")
Exemplo n.º 3
0
def filing_single(p):
    return And(Not(fam.is_married(p)), tax_status(p) == "Single")