huyen-nguyen

// helper functions

// cnf formula exactly one of the variables in the chosen list to be true

function ext_one(list) {
    let temp = ""
    temp=temp+atl_one(list)
    temp=temp+atm_one(list)
    return temp
}