Disjungsi eksklusif adalah salah satu bentuk operasi logika yang membedakan antara "atau" inklusif dan eksklusif. Pada disjungsi eksklusif, hanya salah satu dari dua pernyataan yang boleh benar agar hasilnya benar, sedangkan jika keduanya benar, hasilnya menjadi salah.
Definisi dan Notasi
Disjungsi eksklusif sering disebut dengan istilah XOR (exclusive or). Dalam notasi logika, disjungsi eksklusif antara p dan q ditulis sebagai "p ⊕ q" atau "p XOR q". Logika ini berbeda dari disjungsi biasa yang bersifat inklusif.
Tabel Kebenaran XOR
Pada tabel kebenaran disjungsi eksklusif, hasil p ⊕ q hanya benar jika p dan q memiliki nilai kebenaran yang berbeda. Jika keduanya benar atau keduanya salah, maka hasil disjungsi eksklusif adalah salah.
Penerapan dalam Ilmu Komputer
Disjungsi eksklusif sangat sering digunakan dalam ilmu komputer, khususnya dalam operasi bit dan kriptografi. Fungsi XOR digunakan dalam pengkodean data dan juga dalam pembuatan algoritma enkripsi.