Vereinfachen Sie den folgenden Ausdruck:

A ∨ ⊤

(wobei ⊤ einen wahr-Wert darstellt)