Forenkl følgende udtryk:

A ∨ ⊤

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