Q: Consider the set AP of atomic propositions defined by AP = { x = 0, x > 1 } and consider a nonterminating sequential computer program P that manipulates the variable x. Formulate the following informally stated properties as LT properties: a) initially x is equal to zero b) initially x differs from zero c) initially x is equal to zero, but at some point x exceeds one d) x exceeds one only finitely many times e) the value of x alternates between zero and two

NOTE: DO NOT, I REPEAT, DO NOT COPY IT FROM OTHER CHEGG ANSWER AND/OR FROM INTERNET. IN CASE YOU DO IT, I'LL REPORT YOUR ACCOUNT TO CHEGG AND GET IT PERMANENTLY BANNED.