若逻辑方程AB=AC成立，则B=C成立。
若逻辑方程AB=AC成立，则B=C成立。
相关考题：
设A、B、C均为n阶矩阵,则下列结论或等式成立的是()。 A、(AB)^2=A^2B^2B、若AB=AC且A≠0，则B=CC、((A+B)C)^T=C^T(B^T+A^T)D、若A≠0且B≠0,则AB≠0
给定关系模式RU ，F ，其中 U 为关系 R 的属性集，F 是 U 上的一组函数依赖， X 、Y、Z 、W 是 U 上的属性组。下列结论正确的是（ ）。A.若 wx y ， y Z 成立，则 X Z 成立B.若 wx y ，y Z 成立，则 W Z 成立C.若 X y ，WY z 成立，则 xw Z 成立D. 若 X y ，Z U 成立，则 X YZ 成立
设关系模式R (U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（ ）为F所蕴涵。A.若AB，BC，则ACB.若YXU，则XY。C.若AB，AC ,则ABCD.若AB，CB,则AC
概率的运算性质中，下列结论成立的有( )。A．B．P(A∪B)=P(A)+P(B)C．若，则P(A-B)=P(A)-P(B)D．若P(A)≠0，则P(AB)=P(A)P(B｜A)E．若A、B相互独立，则P(B｜A)=P(B)
概率的运算性质中，下列结论成立的有（ ）。A. P() =1-P(A)B. P(AUB) =P(A) +P(B)C.若AB，则P(A-B)=P(A)-P(B)D.若P(A)≠0，则P(AB)=P(A)P(B A)E.若A、B相互独立，则P(B A) =P(B)
单选题令A={a，{b，c}}，下列结论成立的是（）。Ab∈AB{b，c}∈AC{a}∈AD{b，c} A