符号表达式的逻辑XOR
将两个符号不等式组合成逻辑表达式XOR.
。
syms x范围= xor(x> -10,x <10);
替换变量X
有11和0.如果您更换X
11,然后不平等x> -10
有效和x <10
是无效的。如果你替换X
有0,两者不等式都有效。注意subs
只将数值替换为不等式。它不评估逻辑的不平等1
或者0.
。
X1 =潜艇(范围,x,11)x2 =潜艇(范围,x,0)
x1 = -10 <11 xor 11 <10 x2 = -10 <0xor 0 <10
评估这些不等式逻辑1
或者0.
, 用总是
。如果只有一个不等式有效,表达式XOR.
评估逻辑1
。如果两者不等式有效,表达式XOR.
评估逻辑0.
。
Isalways(X1)Isalways(X2)
ans =逻辑1 ans =逻辑0
注意简化
不会将这些逻辑表达式简化为逻辑1
或者0.
。相反,简化回报象征常数赛夫
或者symfalse.
。
S1 =简化(X1)S2 =简化(X2)
s1 = symtrue s2 = symfalse
转换符号赛夫
或者symfalse.
使用逻辑值逻辑
。
逻辑(S1)逻辑(S2)
ans =逻辑1 ans =逻辑0