尝试解决合金中的女士或老虎

Question

我一直在尝试解决合金中的女士或老虎的逻辑难题，但陷入困境。现在我正在尝试解决第二天的第四个难题。 事情是这样的：有几个房间，每个房间上都有一个标牌，上面写着什么。根据所给出的规则，标志上的陈述可能是正确的，也可能是错误的。有可能两个房间都有女士，也有可能两个房间都有老虎，也有可能一个房间有老虎，另一个房间有女士，但永远不可能一个房间里有多个生物（女士或老虎）。

标牌上写着：

标牌 1：“两个房间里都有女士”，并且只有当 1 号房间里有女士时，此声明才成立。

标志 2：“两个房间里都有女士”，只有当房间 2 里有老虎时，这个陈述才成立。

我已经尝试过几件事，这就是我所得到的。问题是我不知道如何表述，例如 Sign1 仅当 Room1 中有一位女士时才为 true。

abstract sig Creature {}
sig Lady, Tiger extends Creature {}
one sig Room1, Room2 in Creature {}

abstract sig Sign {}
one sig Sign1, Sign2 extends Sign {}
sig Truthful in Sign {}

fact {
    Sign1 in Truthful => Lady in Room1 <=> Lady in Room1 && Lady in Room2
    Sign2 in Truthful => Tiger in Room2 <=> Lady in Room1 && Lady in Room2
}

run {}

Answer 1

enum Creature { Lady, Tiger }
enum boolean { false, true}

let bool[x] = x => true else false

pred rules[ s1, s2: boolean, disj room1, room2 : Creature ] {
    s1 = bool[room1 = lady]
    s2 = bool[room2 = tiger]
}
run rules