计算题 已知a_n=c˙3ⁿ+d（-1）ⁿ，c和d为常数，n∈N，求a₀=0，a₁=-4时的c和d以及{a_n}满足的递推方程。

设函数f：S2→S定义为f（0，0）=0，f（0，1）=1，f（1，0）=f（1，1）=α，f（0，α）=β，其中S={0，α，β，1}.证明f不是布尔函数，并给出三个其他不是布尔函数。 点击查看答案

判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。 今天是星期一当且仅当明天是星期三；今天不是星期一，所以明天不是星期三。 点击查看答案