Dalam logika matematika, disjungsi adalah operator logika yang menghasilkan nilai benar jika salah satu atau kedua operan bernilai benar. Simbol disjungsi adalah '∨'. Misalnya, pernyataan 'A ∨ B' akan bernilai benar jika A benar, B benar, atau keduanya benar. Tabel kebenaran disjungsi menunjukkan semua kemungkinan kombinasi nilai kebenaran operan dan hasilnya.