问答题 设，证明G关于矩阵乘法构成一个群。

问答题 利用Fetmat小定理，求解同余方程4x≡11（mod19）．

问答题 证明{∨}，{∧}，{→}和{∧，∨}都不是完全功能联结词组。