Có một tên cho logic AND với sự phủ định (~) của biến thứ hai, ví dụ:Tên cho toán tử logic A & (~ B)
A & (~B)
Bảng chân lý cho hoạt động này là:
0 & (~0) = 0
0 & (~1) = 0
1 & (~0) = 1
1 & (~1) = 0
Và trong chuỗi dài các bit,
A = 10110011
B = 10111001
A & B = 10110001
A &(~B) = 00000010
PS - tôi quan tâm đến với OR với sự phủ định của giây biến ond, quá.
Không thể tin được. A & (~ B) được gọi là Material nonimplication và A | (~ B) được gọi là Material implication Dường như every possible binary operation has a name.
Tôi sẽ viết như một câu trả lời. –
Ngoại trừ tôi sẽ trả lại nó từ [Wikipedia: liên kết logic] (http://en.wikipedia.org/wiki/Logical_connective#Common_logical_connectives) –
Cái nào tốt hơn: "NAND logic" hoặc "Từ chối thay thế"? –
Thuật ngữ lý thuyết được đặt là "bổ sung tương đối" của B đối với A.
điều cần biết ;-) –
OR với từ khóa được gọi là hàm ý. – RonaldBarzell