Förenkla följande uttryck:

A ∧ ⊤

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