Пример #1
0
def mfj(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing jointly")
Пример #2
0
def mfs(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing separately")
Пример #3
0
def filing_single(p):
    return And(Not(fam.is_married(p)), tax_status(p) == "Single")