单项选择题
设A，C 为两个命题公式，当且仅当（）为一重言式时，称C可由A逻辑地推出。
A.A®CB.C®AC.AÙØCD.AÚØC
单项选择题 命题（P®Q）Ù（P®R）的主析取范式中包含（）
单项选择题 Ø（PÙQ）ÚT 的对偶式是（）
单项选择题 下列式子（）是永真式。
