A=(x:H) where H=[5..20]. Given the program S over statespace A: Questions: - What is assigned to the states 17,19,20 and 6 by the program S ? - What does p(S) assign to the states 17,19,20 and 6 ? - Let R:AL such that [R={6,8} Decedide whether 12 is in [wp(S,R). Determine the truth-set wp(S,R)]. Detailed explanation is required. Please note that for example p is the short notation of the state {x:p}. For example, you can use either the form 12 or {x:12} to denote a state