A. pÚØq B. pÚq C. ØpÚq D. pÚØp
A. 3 B. 6 C. 8 D. 9
A. 2 B. 4 C. 6 D. 8
A. 3 B. 6 C. 9 D. 0
A. 重言式 B. 非重言式的可满足式 C. 矛盾式 D. 以上都不是