Vereenvoudig de volgende expressie:

A ∨ ⊤

(waarbij ⊤ een waar waarde voorstelt)