Mi a diszjunkció? Bizonyítsa be, hogy a művelet kommutatív és asszociatív!
A diszjunkció olyan logikai művelet, mely két kijelentést a “vagy” kötőszóval egy kijelentéssé kapcsol össze.
A művelet kommutatív: 
, a definíció szerint ugyanis az eredmény logikai értéke független az eredeti állítások sorrendjétől.
A művelet asszociatív: 
