用等值演算法求下列公式的主析取范式，并求其成真赋值。

通过求主析取范式，求下列公式的主合取范式。

用真值表求下列公式的主析取范式。

如果小明没有去上学，那他一定是生病了。如果小明生病了，他就会在家休息。只要小明去上学，他就会在教室认真学习。小明要么在教室认真学习，要么在家休息。符号化上述推理过程，并构造推理证明。