Homework Solution: Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x…

    QUESTION5 Let M be a Kripke Structure with W (A| B) says p? { yZh l( )-(x), J( ) = {(ww) ( ) ( )), J(B) = {(x ) (y ) ( x)). What is the value of W,Z 2. W QUESTION 6 Let M be a Kripke Structure with W = { (A | B) controls p? 0 yz), I( ) = { } JO ) = ( ) ( ) ( 2) J(B) = {(xx) (y ) ( )) What is the value of 1. W 2.{x) 3. sw,x) 4. [y,z)answer those 2 question, and write detail
    Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the value of (A|B) says p? 1. {w, z} 2. W 3. {} 4. {x, y} Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the value of (A|B) control p? 1. W 2. {x} 3. {w, x} 4. {y, z}

    Expert Answer

     
    1.) W The reason i

    QUESTION5 Let M be a Kripke Structure with W (A| B) says p? { yZh l( )-(x), J( ) = {(ww) ( ) ( )), J(B) = {(x ) (y ) ( x)). What is the prize of W,Z 2. W QUESTION 6 Let M be a Kripke Structure with W = { (A | B) moderates p? 0 yz), I( ) = { } JO ) = ( ) ( ) ( 2) J(B) = {(xx) (y ) ( )) What is the prize of 1. W 2.{x) 3. sw,x) 4. [y,z)acceptance those 2 question, and transcribe detail

    Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the prize of (A|B) says p? 1. {w, z} 2. W 3. {} 4. {x, y} Let M be a Kripke Structure with W = {w, x, y, z}, I(P) = {x}, J(A) = {(w, w), (x, y), (y, z)}, J(B) = {(x, x), (y, x), (z, x)}. What is the prize of (A|B) moderate p? 1. W 2. {x} 3. {w, x} 4. {y, z}

    Expert Acceptance

     

    1.) W

    The argue is that P and Q supervene every the method of w,x,y,z which is resembling to W. Hence, W is the emend non-interference.

    2.) {w,x}

    The argue is that (A|B) moderates p accomplish frequently yield the prize to unmistakable as aloft recognized.