Có một từ khóa hoặc nhà điều hành cho hay không?

Có một nhà điều hành tương đương cũng không ? Ví dụ, màu yêu thích của tôi không phải là màu xanh lá cây hay màu xanh.

Và mã sẽ tương đương với:

// example one
if (color!="green" && color!="blue") { 

}

// example two
if (x nor y) {
    // x is false and y is false
}

Mặc dù các ngôn ngữ chính không có các nhà khai thác NOR và NAND chuyên dụng, một số ngôn ngữ ít được biết đến (ví dụ, một số ngôn ngữ "chơi gôn"). Ví dụ, APL có ⍱và ⍲cho NOR và NAND, tương ứng.

Một lớp ví dụ khác có thể được tìm thấy trong các ngôn ngữ thiết kế phần cứng như VHDL , Verilog , v.v ... Cổng NAND và NOR khá hữu ích trong thiết kế phần cứng do thường rẻ hơn (yêu cầu ít bóng bán dẫn hơn) so với mạch tương đương được tạo từ AND / OR / NOT cổng, một trong những lý do ngôn ngữ thiết kế phần cứng có xu hướng bao gồm chúng; một lý do khác là chúng có thể hữu ích cho các thủ thuật xử lý bit nhất định.

Không, không có nortoán tử trong bất kỳ ngôn ngữ lập trình chính cấp cao nào.

Tại sao ?

Chủ yếu là vì nó khó đọc:

• nó đòi hỏi sự kết hợp tinh thần của một số toán tử (" và không ", hoặc theo phong cách văn học hơn: " tiêu cực hơn nữa ", " mỗi không đúng sự thật " )
• nó ngụ ý một ẩn nottrên toán hạng đầu tiên, nhưng người đọc chỉ hiểu điều này sau đó
• nó khác với ngôn ngữ của con người, sử dụng một phủ định rõ ràng trên toán hạng đầu tiên, chẳng hạn như " không x cũng không phải y ", " cũng không phải x hay y ". Vì vậy, một người đọc có thể nhầm lẫn (x nor y)với (x and not y)thay vì((not x) and (not y))
• một số độc giả nhầm lẫn với orngữ nghĩa rõ ràng không áp dụng

Nhưng nó rất phổ biến trong phần cứng ...

norlà một cổng phần cứng cơ bản có thể được sử dụng để tạo ra tất cả các cổng logic khác. Vì vậy, người ta có thể lập luận rằng tất cả các toán tử logic khác là các kết hợp và norlà toán tử logic cơ bản đơn giản nhất.

Tuy nhiên, những gì đúng với phần cứng không nhất thiết đúng với con người. Và mặc dù nó phổ biến ở cấp độ phần cứng, một số CPU chính thống thậm chí không cung cấp một NORbộ hướng dẫn trình biên dịch chương trình (ví dụ x86 ).

Lựa chọn thay thế

Vấn đề dễ đọc. Và đôi khi nó có thể được cải thiện bằng các phương tiện khác.

Sử dụng các toán tử hiện có

Ví dụ:

if x not in [1,2]    // use of 'in' or 'not in' operator instead of x!=1 and x!=2

Đặt hàng điều kiện

if x==1 or x==2 
     action A
else 
     action B  

thay vì

if x!=1 and x!=2 
    action B
else 
    action A

Sử dụng cho đến khi vòng lặp

Một số ngôn ngữ cũng cung cấp các hướng dẫn vòng lặp cho phép diễn đạt các điều kiện bằng whilehoặc với until, cho phép bạn chọn cách "tích cực" hơn. Những hướng dẫn này ví dụ until c do ...trong ruby , do until c ...trong vb , hoặc repeat ... until ctrong pascal và con cháu của mình.

Ví dụ:

Until (x==1 or x==2) do
     ...

tương đương với:

While (x!=1 and x!=2)
    ...

Tạo một chức năng

Bây giờ nếu bạn vẫn thích norcú pháp, bạn có thể xác định hàm, nhưng chỉ khi bạn không mong đợi một phím tắt xảy ra:

If ( nor(x,y) )   // attention, x and y will always be evaluated
    ...  

Có một lợi thế dễ đọc của hàm so với toán tử, bởi vì người đọc ngay lập tức hiểu rằng phủ định áp dụng cho tất cả các đối số. Trong một số ngôn ngữ, bạn có thể định nghĩa một hàm với số lượng đối số thay đổi.

Nhận xét của @ KilianFoth về câu hỏi là tại chỗ.

Bạn có thể tổng hợp nortừ notvà or:

if (x nor y)

hoàn toàn giống như

if (not (x or y))

Giới thiệu nornhư một nhà điều hành riêng biệt sẽ giới thiệu các dự phòng cho ngôn ngữ, những thứ không cần thiết, cũng không muốn (hoặc - không cần thiết và không muốn).

Tương tự, tôi không biết bất kỳ ngôn ngữ nào có nandtoán tử - có lẽ bởi vì nó có thể được tổng hợp từ notvà andtoán tử.

Về lý thuyết, bạn có thể tạo một ngôn ngữ chỉ có nandhoặc chỉ các nortoán tử. Tất cả and, orvà notsau đó bởi có thể synthesied từ họ. Vấn đề duy nhất là điều này sẽ vô cùng khó sử dụng. Ví dụ, xem logic NOR và logic NAND trên Wikipedia.

Có, APL và một số phương ngữ của nó không có (và nand ). Trong APL, cũng không được ký hiệu ⍱(vì ∨là hay và ~là không ):

∇ result←ExampleOne color
  :If (color≡'green')⍱(color≡'blue')
      result←'warm'
  :Else
      result←'cold'
  :EndIf
∇

∇ result←ExampleTwo(x y)
  :If x⍱y
      result←'x is false and y is false'
  :Else
      result←'at least one of them is true'
  :EndIf
∇

Hãy thử trực tuyến!

Câu trả lời này là từ ngôn ngữ trình biên dịch cho một máy tính được sản xuất vào giữa những năm 1960. Điều đó khá mơ hồ, nhưng trong một số khía cạnh, nó giải quyết câu hỏi của bạn.

DEC (Tập đoàn thiết bị kỹ thuật số) đã ra mắt máy tính PDP-6 vào giữa những năm 1960. Máy này có tổng cộng 64 lệnh là các phép toán boolean trên hai toán hạng (bao gồm cả một số trường hợp suy biến). 64 hướng dẫn này thực sự là 16 toán tử với 4 biến thể trong mỗi toán tử.

Hai trong số các toán tử, ANDCB và ORCB đã triển khai NOR và NAND tương ứng (trừ khi tôi trộn lẫn vào logic âm kép). Bạn có thể thấy bảng opcode . Bảng opcode thực sự dành cho máy tính PDP-10, một sự kế thừa cho PDP-6.

Nếu bạn nhìn vào hướng dẫn số trong nhị phân, nó sẽ thú vị hơn. Nó chỉ ra rằng đối với tất cả các opcodes trong phạm vi 400-477 (bát phân), bốn bit trong chính lệnh cung cấp một bảng chân lý bốn bit cho 16 toán tử boolean có thể. Một số toán tử này bỏ qua một hoặc cả hai đầu vào. Ví dụ: SETZ và SETO bỏ qua cả hai đầu vào.

Các nhà thiết kế của PDP-6 đã khai thác thực tế này để thực hiện tất cả các hướng dẫn này với ít logic hơn so với việc thực hiện chỉ một số trong số chúng. Một số trong những hướng dẫn này hiếm khi xuất hiện trong mã ngôn ngữ lắp ráp. Nhưng tất cả đều ở đó.

Vậy ANDCB tương đương với NOR. (một lần nữa, trừ khi tôi có logic ngược, trong trường hợp này ORCB là tương đương).

Perl có unlesstừ khóa cho phép bạn đảo ngược các điều kiện:

unless ($color eq 'green' or $color eq 'blue') {
    # code
}

Mặc dù không phải là nhà điều hành NOR, bạn có thể thể hiện ý định của mình theo cách tương tự.

Các nornhà điều hành như bạn mô tả nó sẽ không được lặp lại, đó là ràng buộc để dẫn đến rất nhiều khó khăn để phát hiện lỗi.

"Ví dụ 2" của bạn về cơ bản là thế này:

if (false nor false) {
becomes
if (true) {

Nhưng hãy thử lại với ba biến và xem điều gì sẽ xảy ra:

if (false nor false nor false) {
becomes
if ((false nor false) nor false) {
becomes
if (true nor false) {
becomes
if (false) {