A. 001 B. 101 C. 010 D. 000
A. 1 B. 0
A. 是重言式 B. 是永真式 C. 是矛盾式 D. 非重言式的可满足式
A. 是重言式 B. 是永假式 C. 是矛盾式 D. 非重言式的可满足式