Rövid szöveges bemutatás:
A diszjunkció egy olyan logikai művelet, melynek során több változót köthetünk össze, és az állítást akkor tekinthetjük igaz értékűnek, hogyha valamelyik részállítás igaz értékű. A logikai "or" műveletnek felel meg. Ez igen sokszor használatos a programozás területén elágazásoknál illetve a valószínűségszámításban is. Például azt állítom, hogy X = (K vagy F). Akkor X értéke igaz ha K vagy F értéke igaz, és X értéke hamis ha K és F értéke is hamis.