TeX source:
A\vee (\neg A) = 1