Pengoperasi logik
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 ".
![]() | ![]() | |
(file) | (file) (zoom in) |
Dalam sains komputer
Selain logik, pengoperasi logik turut digunakan dalam bidang sains komputer, umpamanya untuk membina atur cara (lihat Boolean) dan litar berdigit (lihat get logik).