level 10
高级数理逻辑题,有谢。
类似下面的
1. 有代换q1={a/x,f(z)/y, y/z}和q2={b/x,z/y, g(x)/z},求q1°q2。
2. 公式 (pÙq)®(ØqÙr) 的主合取范式是M6ÙM7,即: (ØpÚØqÚr)Ù(ØpÚØqÚØr),请给出与其等价的主析取范式。
2014年12月19日 15点12分
1
level 13
我想问问你。。。你是怎么把符号一个一个发上去的。。。
--请眼熟我。么么哒~
2014年12月19日 16点12分
5
level 15
传说中的大神……
--我这是见光死吗,我只是从不明媚罢了
2014年12月20日 03点12分
8