propositional variables definition

propositional variables and ⊥ (~x 0 = 1) by means of ∧, ∨, ¬, and (, ). Let TAU