条件:
a->b
b->a
c->b
b="男"
c="女"
a="女"
解:
已知:c->b,b->a 得:c->b->a 即:c->a;
又因:c=a="女",女人小气(公理) 得:c FIGHT a;
又因:b="男",男人大气(公理) 得:b->c PEACE a;
结论:
if(c !FIGHT&&a FIGHT)
c->b;
b->!a;
else if(c FIGHT&&a !FIGHT)
a->b;
b->a;
else if(c FIGHT&&a FIGHT)
b->!a;
c->!b;
else if(c !FIGHT&&a !FIGHT)
b->a;
a->b;
c->a;
c-> TRUE LOVE;
笨蛋
http://ting.51t.com/3C77961C/D1DFB8C3/?id=4360
自己去看