Alternatywą nazywamy dwuargumentowe działanie logiczne które zdaniom p,qp,qp,qp,q przypisuje zdanie p∨qp\vee qp∨qp\vee q. Wynikowe zdanie jest prawdziwe, gdy chociaż jedno ze zdań składowych jest prawdziwe. Alternatywę oznaczamy symbolem ∨\vee∨\vee i czytamy “lub“.
pppp
qqqq
p∨qp\lor qp∨qp\lor q
1111
0000