名前

2012-11-26 11 views
6

は名前が論理のための第2の可変の否定(~)、すなわちであり名前

0 & (~0) = 0 
0 & (~1) = 0 
1 & (~0) = 1 
1 & (~1) = 0 

そしてビットの長いシーケンスでは、

A  = 10110011 
B  = 10111001 
A & B = 10110001 
A &(~B) = 00000010 

PS - 私は秒の否定とORと興味を持っていますond変数もあります。

+1

否定を伴うORは含意と呼ばれる。 – RonaldBarzell

答えて

4

信じられないほどです。 A &(〜B)はMaterial nonimplicationと呼ばれ、A | (〜B)はMaterial implicationと呼ばれます。every possible binary operation has a nameと思われます。

+1

私はそれを答えとして書くつもりでした。 –

+1

私は[Wikipedia:logical connective](http://en.wikipedia.org/wiki/Logical_connective#Common_logical_connectives)から戻します。 –

+1

"Logical NAND"または "Alternative denial"のどちらが良いですか? –

3

設定された理論用語は、Aに対するBの「相対的補数」である。

+0

お知りになりたい;-) –