有关于逻辑表达式与断言表达式冲突验证的建模

现在客户有个需求：假设定义C0001=B0002，再定义C0001=!B0002那么这2个是有冲突的。（实际的表达式可能是c0001||B00002&&(A0001||C0003)......=c0002,!d0003这样的逻辑表达式）；另一种冲突的可能情况C0001=B0002,d0002=!B0002，如果同时使用，则也是有冲突的。这个建模应该怎么建模。求助。