我需要证明以下是分发：
X ^（Y =＆gt; Z）
其中^是和运算符，并且=＆gt;暗示。
我认为它看起来像这样，但我不能用任何已知的定理证明它：
X ^（Y =＆gt; Z）=（X ^ Y）=＆gt; （X ^ Z）
任何帮助将不胜感激。 谢谢 ！
答案 0 :(得分：0)
你无法证明这一点，因为事实并非如此。
假设X = False，那么：
原始公式始终为假
X∧（Y⇒Z）≡False∧（Y⇒Z）≡False
但在and上分发implication之后总是如此
（X∧Y）⇒（X∧Z）≡（假⇒假）≡真