Apakah ada kata kunci atau operator untuk “tidak”?

Apakah ada operator yang setara atau tidak ? Misalnya, warna favorit saya bukan hijau atau biru.

Dan kodenya akan setara dengan:

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

}

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

Meskipun bahasa umum tidak memiliki operator khusus NOR dan NAND, beberapa bahasa yang kurang dikenal (misalnya, beberapa bahasa "bermain golf") melakukannya. Misalnya, APL masing-masing memiliki ⍱dan ⍲untuk NOR dan NAND.

Kelas contoh lain dapat ditemukan dalam bahasa desain perangkat keras seperti VHDL , Verilog , dll. Gerbang NAND dan NOR cukup berguna dalam desain perangkat keras karena biasanya lebih murah (membutuhkan lebih sedikit transistor) daripada rangkaian setara yang dibuat dari DAN / ATAU / TIDAK. gerbang, yang merupakan salah satu alasan mengapa bahasa desain perangkat keras cenderung memasukkannya; alasan lain adalah bahwa mereka dapat berguna untuk trik-trik bit-fiddling tertentu.

Tidak, tidak ada noroperator dalam bahasa pemrograman arus utama tingkat tinggi.

Mengapa

Terutama karena sulit dibaca:

• itu memerlukan kombinasi mental dari beberapa operator (" dan tidak ", atau dalam gaya yang lebih sastra: " lanjut negatif ", " masing-masing tidak benar " )
• itu menyiratkan implisit notpada operan pertama, tetapi pembaca hanya memahami ini setelahnya
• itu berbeda dari bahasa manusia, yang menggunakan negasi eksplisit pada operan pertama, seperti " bukan x atau y ", " atau x atau y ". Jadi pembaca mungkin bingung (x nor y)dengan (x and not y)alih - alih((not x) and (not y))
• beberapa pembaca bingung dengan orsemantik semu yang tidak berlaku

Tapi itu sangat umum di perangkat keras ...

noradalah gerbang perangkat keras dasar yang dapat digunakan untuk membuat semua gerbang logis lainnya. Jadi orang dapat berargumen bahwa semua operator logika lainnya adalah kombinasi dan normerupakan operator logis elementer yang paling sederhana.

Namun, apa yang benar untuk perangkat keras belum tentu benar bagi manusia. Dan meskipun popularitasnya di tingkat perangkat keras, beberapa CPU arus utama bahkan tidak menawarkan NORdalam set instruksi assembler mereka (misalnya x86 ).

Alternatif

Masalah keterbacaan. Dan terkadang itu bisa diperbaiki dengan cara lain.

Penggunaan operator yang ada

Sebagai contoh:

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

Pemesanan kondisi

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

dari pada

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

Gunakan sampai loop

Beberapa bahasa juga menawarkan instruksi loop yang memungkinkan untuk mengekspresikan kondisi dengan whileatau dengan until, memungkinkan Anda memilih cara yang lebih "positif". Instruksi-instruksi ini misalnya until c do ...di ruby , do until c ...di vb , atau repeat ... until cdi pascal dan keturunannya.

Sebagai contoh:

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

setara dengan:

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

Buat suatu fungsi

Sekarang jika Anda masih lebih menyukai norsintaks, Anda bisa mendefinisikan suatu fungsi, tetapi hanya jika Anda tidak mengharapkan jalan pintas terjadi:

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

Ada keuntungan keterbacaan fungsi atas operator, karena pembaca segera memahami bahwa negasi berlaku untuk semua argumen. Dalam beberapa bahasa Anda dapat mendefinisikan suatu fungsi dengan sejumlah variabel argumen.

Komentar @ KilianFoth pada pertanyaan tepat.

Anda dapat mensintesis nordari notdan or:

if (x nor y)

persis sama dengan

if (not (x or y))

Memperkenalkan norsebagai operator terpisah akan memperkenalkan redudansi pada bahasa, yang tidak diperlukan, atau diinginkan (atau - yang tidak diperlukan dan tidak diinginkan).

Demikian pula, saya tidak mengetahui ada bahasa yang memiliki nandoperator - mungkin karena dapat disintesis dari notdan andoperator.

Secara teori, Anda dapat membuat bahasa hanya dengan nandatau hanya noroperator. Semua and, ordan notkemudian dengan bisa synthesied dari mereka. Satu-satunya masalah adalah bahwa ini akan menjadi sangat sulit. Sebagai contoh, lihat logika NOR dan logika NAND di Wikipedia.

Ya, APL dan beberapa dialeknya juga tidak (dan nand ). Dalam APL, atau dilambangkan ⍱(karena ∨adalah atau dan ~adalah tidak ):

∇ 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
∇

Cobalah online!

Jawaban ini berasal dari bahasa assembler untuk komputer yang dibuat pada pertengahan 1960-an. Itu cukup tidak jelas, tetapi dalam beberapa hal ini menjawab pertanyaan Anda.

DEC (Digital Equipment Corporation) meluncurkan komputer PDP-6 pada pertengahan 1960-an. Mesin ini memiliki total 64 instruksi yang merupakan operasi boolean pada dua operan (termasuk beberapa kasus degenerasi). 64 instruksi ini benar-benar 16 operator dengan 4 varian di setiap operator.

Dua operator, ANDCB dan ORCB masing-masing mengimplementasikan NOR dan NAND (kecuali saya tercampur pada logika negatif ganda). Anda dapat melihat tabel opcode . Tabel opcode sebenarnya untuk komputer PDP-10, penerus PDP-6.

Jika Anda melihat instruksi numerik dalam biner, itu menjadi lebih menarik. Ternyata untuk semua opcode dalam kisaran 400-477 (oktal), empat bit dalam instruksi itu sendiri menyediakan tabel kebenaran empat bit untuk 16 kemungkinan operator boolean. Beberapa operator mengabaikan satu atau kedua input. Misalnya SETZ dan SETO mengabaikan kedua input.

Para perancang PDP-6 mengeksploitasi fakta ini untuk mengimplementasikan semua instruksi ini dengan lebih sedikit logika daripada yang diperlukan untuk mengimplementasikan hanya beberapa dari mereka. Beberapa petunjuk ini jarang muncul, jika pernah, dalam kode bahasa assembly. Tetapi mereka semua ada di sana.

Jadi ANDCB adalah setara dengan NOR. (Sekali lagi, kecuali saya mendapatkan logika saya mundur, dalam hal ini ORCB adalah setara).

Perl memiliki unlesskata kunci yang memungkinkan Anda membalikkan persyaratan:

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

Meskipun bukan operator NOR, Anda dapat mengekspresikan niat Anda dengan cara yang sama.

The norOperator seperti yang Anda gambarkan itu tidak akan diulang, yang pasti akan menyebabkan banyak sulit untuk menemukan bug.

"Contoh 2" Anda pada dasarnya adalah ini:

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

Tetapi coba lagi dengan tiga variabel dan lihat apa yang terjadi:

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