提一个逻辑问题

Question

动物园里有15只tiger，15只fox，分成了10组，3只动物/组。

18只动物说自己那组有老虎，18只动物说自己那组没有狐狸。

老虎永远说真话，狐狸永远说假话。

问3只老虎的有几组，3只狐狸的有几组？

如果这种情况怎么用程序做出计算

尽量能写出思路原因。

Answer 1

设几个变量x: 都是老虎的组数y：都是狐狸的组数z：既有狐狸又有老虎的组数z1：既有狐狸又有老虎的组数里，老虎的个数z2：既有狐狸又有老虎的组数里，狐狸的个数列公式如下：3*x + 3*y + z1 + z2 = 30 #30只动物3*x + 3*y + z1 = 18 #当问有老虎时回答有的动物数3*x + 3*y + z2 = 18 #当问有狐狸时回答没有的动物数3*x + z1 = 15 #一共15只老虎3*y + z2 = 15　＃一共15只狐狸解出z1＝12，z2＝12，x＝1，y＝1所以这个解有1个。x＝1，y＝1，z＝8

Answer 2

我比较关心老虎和狐狸一起,狐狸不会被吃掉吗!

Answer 3

第一句话，如果是狐狸说的，说明一直老虎都没只有狐狸，如果老虎来说，自己本身就是老虎，恒成立。那么18只动物中减去15只tiger说的就剩下3只狐狸啊，那3只狐狸的就只有1组；同理，3只老虎也只有1组啊。程序做出计算是要模拟这个过程，还是只是求值呢求值我觉得就是：（说自己那组有老虎的数目-tiger数）/3=3只狐狸的组数3只老虎的组数同理是不是我的想法太肤浅啊(；°○° )