Need help with 3.54 and 5.55

3.51 52 Write a proposition logically equivall The folouring ande uses mested conditi ionals, or compound propositions as conditions. Simplify each as much as pos time to test whether q holds in a block where p is known to be true.) 3.55 3.53 if (x% 12- 0): if(x>20 then foo(x,y) else bar(x,y then if not (x % 4 then foo(x) else bar(x) Or (xo, 2e and y = ) then foo(x,y) else bar(x,y) (Note that x % k is true when x mod k : O, also known as when k | x.)