Forenkl følgende udtryk:

A ∧ ⊤

(hvor ⊤ repræsenterer en sand værdi)