Förenkla följande uttryck:

A ∨ ⊤

(där ⊤ representerar ett sann-värde)