It’s really just simplifying the logical expression. Like (A and not A) = True. I think that’s what you’re getting at, although I’m not familiar with your notation, and don’t want to think too hard.
It’s really just simplifying the logical expression. Like (A and not A) = True. I think that’s what you’re getting at, although I’m not familiar with your notation, and don’t want to think too hard.