In a spacecraft, there are 5 astronauts, namely Red, Blue, Yellow, Green, and White. The aircraft consists of many rooms with their respective functions. Each room is connected to each other by air vents. One day, Yellow encountered White's corpse sprawled in the control room. Yellow also pressed the emergency call button so that each astronaut could get together and discuss to find out who the killer was. Here is their conversation. Yellow: In the control room, I found White's corpse which was near the vent of the room Red's temporary control was 5 meters ahead of White's corpse. If Red is not the killer. then it is definitely one of the Green or Blue that is the killer. Green At that time, me and Blue were repairing electricity in the admin room. It certainly wasn't me and Blue who had killed White. Blue: Yesterday, I was working with Red without you guys, but I'm still in a state of safety to this day. If it's not Red the killer, then I'm sure Green or Yellow culprit. Red: Blue and Yellow are my good friends and I believe in them. I'm sure Yellow and Blue are not the killers. From the above case, atomic propositions can be defined as follows. b: Blue is not a killer .h: Green is not a killer k: Yellow is not a killer m: Red is not a killer Question: a. Based on the above text and atomic propositions, translate the statements of the 4 astronauts into the form of a proper propositional logic formula! (Hint: the statement in question is an underlined sentence) b. Of the four surviving astronauts, there is one astronaut who has killed White, that is, an astronaut who has lied during the discussion. Who is the astronaut?