当且仅当”是充分必要条件假言判断的联结词。“当且仅当p,才q”，断定事物情况P是事物情况Q的充分必要条件，即当P存在时，Q一定存在；而当P不存在时，Q也不会存在。即通常所说的“有P必有Q，无P必无Q”。 证明： “A当且仅当B”是一个标准用法，但是公认的其他同样说法还有“B是A的充分必要条件（或称为充要条件）”，或者“A成立，正当B”。 一般而言，当我们看到“A当且仅当B”，我们可以知道“如果A成立时，则B一定成立”、“如果B成立时，则A也一定成立”、“如果A不成立时，则B也一定不成立”、“如果B不成立时，则A也一定不成立”。 当且仅当A（命题）成立时，B（命题）成立。 也可表示成：B（命题）成立时，A（命题）成立 ；A（命题）成立时，B（命题）成立。即B（命题）等价于A（命题）。 通俗一点来说，就是“在这些情况下，并且仅仅在这些情况下”。
1、逻辑加法（“或”运算）
逻辑加法通常用符号“+”或“∨”来表示
2、逻辑乘法（“与”运算）
逻辑乘法通常用符号“×”或“∧”或“·”来表示
3、逻辑否认（非运算）
逻辑非运算又称逻辑否运算
4、异或逻辑运算（半加运算）
异或运算通常用符号”⊕”表示
1、逻辑加法（“或”运算）
逻辑加法通常用符号“+”或“∨”来表示
2、逻辑乘法（“与”运算）
逻辑乘法通常用符号“×”或“∧”或“·”来表示
3、逻辑否定（非运算）
逻辑非运算又称逻辑否运算
4、异或逻辑运算（半加运算）
异或运算通常用符号”⊕”表示
1、逻辑加法（“或”运算）
逻辑加法通常用符号“+”或“∨”来表示
2、逻辑乘法（“与”运算）
逻辑乘法通常用符号“×”或“∧”或“·”来表示
3、逻辑否认（非运算）
逻辑非运算又称逻辑否运算
4、异或逻辑运算（半加运算）
异或运算通常用符号”⊕”表示
版权声明：本站部分文章来源互联网,主要目的在于分享信息,版权归原作者所有,本站不拥有所有权,不承担相关法律责任,如有侵权请联系我们,本站将立刻删除。