Terry is absolutely correct. I learned all this recently from the Discrete Mathematics course I took. In that class we discussed the foundation of logic, not assumption. Tark, your final comment is an assumption and not, therefore, based in logic. Reasonably and possibly intuitively you would be correct, but from the standpoint of mathematics and logic, you would be incorrect. Terry is right, we need more context to answer your question, but I can assume from past experience, you are probably dealing with XIO and XIC state logic, whether it be your intepretation or psuedocode provided by someone else, that you are trying to follow the reasoning. Please expand for us.
David