I have the claim:
$\lnot(A\land B) \lor \lozenge A \lor \square\lnot B$
but I can't find any frame/example that evaluates the claim to true. E.g. According to $\lnot(A\land B)$ I simply could create a frame with an empty relation. But for getting $\lozenge A$ to true I need a frame with a relation to $A$. In my opinion that is a contradiction, because $\lnot(A\land B)$ means that there must not be any $A$ in the frame whereas $\lozenge A$ means that every transition must contain an $A$. Can anybody show me an example that evaluates the claim above to true? If possible, it should be an example that is not reflexive.