I think both of those are always true. Did you mean:

<pre>
assert((!KeyCopy && !KeyDestroy) || (KeyCopy && KeyDestroy));
</pre>