一个简单析取式是重言式，当且仅当它同时含有某个命题变元及其否定式。

A.正确

B.错误

正确答案：A