问答题
求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得gcd（130，450）=130x+450y。
问答题 设A，B都是含命题变项p1，p2，...pn的公式，已知A∧B是矛盾式，能得出A与B都是矛盾式的结论吗？为什么？
问答题 已知p→（p∨q）是重言式，（p→q）∧q是矛盾式，试判断（p→（p∨q））∧（（p→q）∧q）及（p∨q）∧p的类型。
问答题 求出o运算的单位元和零元（如果存在）
