A\vee \neg A