Need help on this

Let the formula be defined as follows: Now define a) Describe all truth assignments v that satisfy (b) Prove that the set { : -a) of tautological consequences of is decidable. Let the formula be defined as follows: Now define a) Describe all truth assignments v that satisfy (b) Prove that the set { : -a) of tautological consequences of is decidable