本帖最后由 平常心 于 2013-4-1 07:00 编辑
修改：
令：伪娘=1美女=0 则上述条件可转化如下：
⑴A=B=1 或 A=0
⑵C=D=0 或 C=1
⑶A+C<=1
⑷B≠D
⑸D+E+F+G+H >= 2
⑹C=G
⑺C+E+G+I <= 2
⑻E=F=G= 1 或 E=0
⑼F= 1G=H=0 或 F= 0
⑽I = J= 0H=1 或 I + J > 0
根据⑵⑹ 若C=D=G=0
据⑻可知 E=0
据⑸必有 F=H=1 但据⑼ F= 1时 H=0矛盾 故以上不成立
因此 C=G=1
由⑶ A+C<=1故A= 0
据⑺ C+E+G+I <= 2故 E=I=0
由⑼因 G=1 故 F=0
由⑽若I=J=0H=1 ⑸成立
根据⑷ B≠D故共4个伪娘（C、G、H、D(或B)）
若I + J > 0则 J=1可是H不确定
当H=B=0根据⑷ D=1 ⑸亦成立也是4个伪娘（C、G、J、D）
但当H=1根据⑷ B≠D 就有5个伪娘（C、G、J、H、D(或B)）
结论不能肯定，看来仍然有问题，希望大家帮助。
反复看过，未能检查出问题，但仍然得不出确定答案。那个楼主与网友帮助，我错在哪里？
靠推理现在我做不出来，也没耐心了，用Mathematica算的不知道对不对，
http://static.oschina.net/uploads/img/201304/03192607_05iI.png
本帖最后由 平常心 于 2013-4-4 20:55 编辑
问题的关键是我对各个条件的理解是否正确。
"J"只在最后一个条件中出现，这样当I是伪娘时，这一条就有二种可能性，导致难以确定。
然而，若前面确定I不是伪娘时，也难以确定J的身份，最后结论也难下。
很好的题目，让我思索，也让我困惑。
本帖最后由 平常心 于 2013-6-9 15:55 编辑
一直没有明白我在这个问题上错在哪里。昨天有网友提出以下意见，我非常感谢，但还是不理解：第一次我说，C=D，这确实是一个不严密的错误结论。后来我改为，C=D=0 或 c=1.我觉得这次应该没有问题了。
说C ≠ D，有这个可能性，我的结论包含了这点；但说肯定C ≠ D，我觉得不恰当。
请各位网友、老师指点。
网友的意见如下：
C=D2.如果C不是，D也不是
令：伪娘=1 美女=0
⑵C=D
(住：以上3行是网友引用我第一次的错误结论)
“如果C不是，D也不是”这句话用数理逻辑来表示，应该是 ～C → ～D。
其中，～表示“非”，即否定的意思；→表示“蕴含”，大体等于充分条件的意思。
～C → ～D 等价于逻辑公式 C ∨ ～D，根据逻辑运算法则，有 ～(C ∨ ～D) ←→ ～C ∧ D
其中，∨ 表示“或”，即 C 和 D 的其中一个成立；←→ 表示“等价”；∧ 表示“和”，即 C 和 D 必须同时成立，命题才成立！
把公式 ～C ∧ D 翻译成文字，就是“当 C 是美女的时候，D 应该是伪娘。”显然，C ≠ D
用大写字母表示伪娘，小写字母表示不是伪娘。相同字母大小写相乘： 如Aa=0（表示不可能）
先放置5、7条件。
得：(AB+a)(cd+C)(Ac+aC) (Bd+bD)(CG+cg)(EFG+e)(Fgh+f)(ijH+Ij+iJ+IJ)
展开化简，再利用5、7条件（美女DEFGH中至少有两个大写字母，CEGI中至多有两个大写字母）
得 aBCdefGHij+ abCDefGHij+abCDefGHiJ+abCDefGhiJ=aCefGi(BdHj+ bDHj+bDHJ+bDhJ)
即aefi肯定不是伪娘，CG肯定是伪娘，其他不确定（4种组合）
本帖最后由 chyanog 于 2013-6-9 22:46 编辑
Mathematica code:
Cases,
Thread[{a, b, c, d, e, f, g, h, i, j}~Pattern~_] /;
And[a + b == 2 || a == 0,
c + d == 0 || c == 1,
a + c <= 1,
b + d == 1,
d + e + f + g + h >= 2,
c + g == 2 || c + g == 0,
c + e + g + i <= 2,
e + f + g == 3 || e == 0,
f + g + h == 1 || f == 0,
i + j + h == 1 || i == 1 || j == 1]]
或
cond = {Implies,
Implies[! c, ! d],
Xor,
Xor,
! BooleanCountingFunction,
! Xor,
BooleanCountingFunction,
Implies,
Implies,
Implies[! i && ! j, h]};
SatisfiabilityInstances[And @@ cond, {a, b, c, d, e, f, g, h, i, j},
All] /. {True -> Style}
17# chyanog
楼主：您好！
原题有：“8.如果E是，那么F和G也是”
但Mathematica code中出现：“e + g + h == 3 || e == 0”
这是否意味着，原题8中的F,应该是H呢？
本帖最后由 chyanog 于 2013-6-9 22:47 编辑
18# 平常心
题目没错，是我的代码有误了，一会儿改过来
19# chyanog
谢谢！我从中学习到很多。根据楼主的代码，对我的解决方法改进如下：
令：伪娘=1 美女=0 则上述条件可转化如下：
(1-1)A+B=2 或(1-2) A=0
(2-1)C+D=0 或 (2-2)C=1
⑶A+C<=1
⑷B+D =1
⑸D+E+F+G+H >= 2
(6-1)C+G =2 或(6-2) C+G =0
⑺C+E+G+I <= 2
(8-1)E+F+G=3 或(8-2) E=0
(9-1)F= 1 G+H=0(F+G+H=1) 或(9-2) F= 0, H=1或(9-3)F+H=0
(10-1)I = J= 0, H=1(I+ J+ H=1) 或(10-2) I + J > 0
根据(2-1)⑹ 若C=D=G=0
可知(8-1)不成立， E=0
据⑸必有 F+H=2 但与(9-1)(9-2) F= 1时 H=0矛盾
故(2-1)不成立
由(2-2) (6-1) (6-2)知： C+G=2
由⑶ A+C<=1 故A= 0
据⑺ C+E+G+I <= 2 故 E+I=0
因 G=1 故 F=0，(9-1)不成立
若(9-2) (10-1)成立H=1，J=0
根据⑷ B≠D 故共4个伪娘（C、G、H、D(或B)）
若(9-2) (10-2)成立H=1，J=1
根据⑷ B≠D 共有5个伪娘（C、G、J、H、D(或B)）
若(9-3)成立，则(10-1)不成立，H=0，J=1
根据⑷⑸ D=1, B=0 也是4个伪娘（C、G、J、D）
最后的结论仍然u能完全确定，我猜测这是由于在1——8的条件中对H没有限制条件，以致最后仍然无法确定H的身份。假如在第7个条件中增加一个H,从而可以确定H=0，则只有追后一个解了。即：⑺C+E+G+I +H<= 2