设有关系R(A,B,C,D)，其函数依赖集F={A→B,A→C,B→D}，则关系R至多满足

单项选择题下列命题公式中为重言式的是 Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．((p→q)∧(P→r))→((p→r) Ⅳ．((p∨q)∧(p→r))→(p→r)

单项选择题In terms of MJFlynn's taxonomy, the systolic array falls into