Forenkle følgende uttrykk:

A ∨ ⊤

(hvor ⊤ representerer en sann verdi)