A. 永真式 B. 永假式 C. 可满足式 D. 合取范式
A. ┐P∧Q B. ┐P∨Q C. P∨┐Q D. P∧┐Q
A. P∧Q B. Q C. P∨¬P∨Q D. P∨Q
A. {<1,a>,<2,a>} B. {<1,a>, <2,b>, <2,c>} C. {<1,a>, <2,b>} D. {<1,c>}
A. f是从X到Y的二元关系,但不是从X到Y的函数。 B. f是从X到Y的函数,但不是满射的,也不是入射的。 C. f是从X到Y的满射函数,但不是入射函数。 D. f是从X到Y的双射函数。