Pengoperasi logik

Daripada Wikipedia, ensiklopedia bebas.
Jump to navigation Jump to search

Dalam bidang logik, pengoperasi logik atau pengait logik ialah pengoperasi matematik yang digunakan pada ayat-ayat logik untuk membentuk ayat gabungan.

Berikut ialah beberapa pengoperasi logik:

Nama Simbol Hasil
Penafian (tak) ¬ atau ~ Palsu sekiranya kendaliannya benar, dan sebaliknya
Konjungsi (dan) atau & Benar sekiranya kedua-dua kendaliannya benar.
Disjungsi (atau) Benar sekiranya satu daripada kendalian-kendaliannnya benar.
Bersyarat (jika...maka) , atau Palsu sekiranya kendalian pertama benar tetapi kendalian kedua palsu.
Dwisyarat (jika dan hanya jika) , , atau = Benar sekiranya kedua-dua kendaliannya benar atau kedua-dua kendaliannya palsu.

Katakan,

A: Hari ini hujan.
B: Ahmad menggunakan payung.

Maka kenyataan ¬A bermaksud "hari ini tidak hujan". Kenyataan pula bermaksud "jika hari ini hujan, maka Ahmad menggunakan payung", atau, dari sudut lain, "hari ini hujan hanya jika Ahmad menggunakan payung ".


input Ainput Boutput f(A,B)X and ¬XA and B¬A and BBA and ¬BAA xor BA or B¬A and ¬BA xnor B¬A¬A or B¬BA or ¬B¬A or ¬BX or ¬XLogical connectives table.svg
X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬XLogical connectives Hasse diagram.svg
(file) (file) (zoom in)



Dalam sains komputer[sunting | sunting sumber]

Selain logik, pengoperasi logik turut digunakan dalam bidang sains komputer, umpamanya untuk membina atur cara (lihat Boolean) dan litar berdigit (lihat get logik).