un rekur vēl viens, sarežģītāks par iepriekšējo

For each of the following formulas, give two models: one in which the formula is true;
one in which the formula is false. Say explicitly which model is the one in which the formula is true and which is the one which makes it false, and do not forget to indicate the real world in each model. Provide a brief explanation in each case.
(i) ¬K2p→K1¬K2p
(ii) K1K2p∧¬K2K1p
(iii)(K1p∧K2p)∧¬K1K2p
(iv) ¬K1¬(¬K2¬(p∧q)∧¬K2¬(¬K1¬(¬p∧¬q)))