2012-11-26 18 views
6

वहाँ तार्किक के लिए और दूसरा चर का निषेध (~), यानी के साथ एक नाम हैनाम

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

और बिट्स की लंबे समय तक दृश्यों में,

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

पुनश्च - मैं के साथ या सेकंड का निषेध के साथ इसमें रुचि है ऑनड चर, भी।

+1

The To या साथ निषेध निहितार्थ कहा जाता है सम्मान के साथ बी के "रिश्तेदार पूरक" है। – RonaldBarzell

उत्तर

4

अविश्वसनीय। & (~ बी) Material nonimplication कहा जाता है, और ए | (~ बी) Material implication कहा जाता है कि every possible binary operation has a name लगता है।

+1

मैं इसे एक उत्तर के रूप में लिखने जा रहा था। –

+1

इसके अलावा मैं इसे [विकिपीडिया: लॉजिकल कनेक्टिव] से वापस ले जाऊंगा (http://en.wikipedia.org/wiki/Logical_connective#Common_logical_connectives) –

+1

कौन सा बेहतर है: "लॉजिकल NAND" या "वैकल्पिक अस्वीकार"? –

3

सेट सैद्धांतिक अवधि ए

+0

जानना अच्छा है ;-) –