A\lor\lnot A,