Dalam matematika diskrit, selain konjungsi ada juga yang namanya disjungsi adalah salah satu operasi logika yang digunakan untuk menghubungkan dua pernyataan atau proposisi, dan hasilnya akan benar jika salah satu atau kedua pernyataan tersebut benar.
Disjungsi direpresentasikan oleh simbol logika "∨" atau "OR". Jika kita memiliki dua pernyataan A dan B, maka disjungsi A ∨ B akan benar jika minimal salah satu dari pernyataan tersebut benar. Hanya jika kedua pernyataan tersebut salah, maka disjungsi akan menjadi salah.
Berikut adalah tabel kebenaran untuk disjungsi:
Contoh penggunaan disjungsi dalam matematika diskrit:
Pernyataan A: "Saya suka matematika."
Pernyataan B: "Saya suka pemrograman."
Pernyataan A ∨ B: "Saya suka matematika atau saya suka pemrograman."
Jadi, pernyataan A ∨ B akan benar jika Anda suka matematika, suka pemrograman, atau keduanya. Hanya jika Anda tidak menyukai matematika dan tidak menyukai pemrograman, pernyataan tersebut akan menjadi salah.