Forenkle følgende uttrykk:

A ∧ ⊤

(hvor ⊤ representerer en sann-verdi)