It's fun to try to create dry definitions, but an example is useful as an illustration. Let's say that I make a choice between A) having a sandwich before going to bed and B) not having a sandwich before going to bed.
How is that choice between A and B an act of my own free will? A choice is a transition from uncertainty to certainty. So what I'm doing is simply reducing the state A&B to only either A or B. What determines the actual outcome is my free will.
Wouldn't you be reducing it not from A & B but from A v ~A?
What I mean is:
"having a sandwich before going to bed"
and
"not having a sandwich before going to bed"
The second is just the negation of the first. So, you could just symbolize the one sentence as A, then use its negation ~A. Then you'd have A or not A, which is a fair bit simpler.
We couldn't say "and" for the first state, as, we don't have both
"having a sandwich before going to bed"
and
"not having a sandwich before going to bed".
If we say we have both, we'd be contradicting ourselves.
We can say A v ~A, though. This would perfectly capture your state. Then we go from that to A alone, or ~A alone.
I'm not criticizing what you said, just trying to make your example a bit more accurate as far as logic goes.