几个简单的数理逻辑问题，求解
当且仅当 表示这个条件成立且只有这个条件 而“仅当”等价于“必要条件”，即只有仅当后面的条件成立时前面才成立，可是前面的条件可以是错误的。
上面三题实际上都是必要条件的题目，必要条件题目符号化的时候只需记住把“条件”摆在后面就可以了
数理逻辑问题
原式=5x^2-3xy-4y^2-11xy+2y^2-7x^2 =-2(x^2+y^2)-14xy =-2*7+14 =0
数理逻辑的发展
是根据“等值”（↔）和“并非”（￢）的性质推出来的。
“等值”（↔）的含义是相对于α和β这两个对象，当α和β等值时，α真则β也真，α假则β也假。
而当等值为假，并非等值（￢↔）为真，即并非α和β等值时，α真β却假，α假β却真。
