For this game, I don't normally set up Formal Logic diagrams. Instead, the first rule is pretty clear: F and G must be together. So, I typically jot down F=G (or put FG together in a box to indicate a pair that must be grouped together).
Similarly, for the third (and similar) rules, I usually write F/=P (actually, I draw the "not equal" sign, which I don't know offhand how to input here) or something like "Never FP"
If the formal logic makes it clearer for you, then the first two rules would be double arrows. The thid rule would be:
K --> No M
M --> No K
(which may be a double not arrow).