回 帖 发 新 帖 刷新版面

主题:初学者,问个简单离散符号问题;忘大家指教!(1)

对偶式:
定理:﹁(A*)=(﹁A)*  ,  ﹁(Aˉ)=(﹁A)ˉ ;
定理:(A*)*=A    ,    (Aˉ)ˉ=A  ;
定理:﹁A=A*ˉ ;

请问这定理中的 ˉ  符号是什么意思?

回复列表 (共2个回复)

沙发

"-"符号是对变元取反
例如::﹁A(p∧q)=A*(﹁p∧﹁q)

板凳

难道全部都是抽象的???没点实例来解释下的?

我来回复

您尚未登录,请登录后再回复。点此登录或注册