单项选择题 重言式的否定式是（）。

单项选择题 若干可满足式与永假式合取，其值是（）。

单项选择题 重言式一定是（）。