【简答题】用等值演算法证明:(p→q)∧(p→r)=p→(q∧r) (命题联结词:¬、∧、∨、→、↔) 注:为方便起见,可用""或"=”表示“等值” (做作业时,可先将解题过程写在作业本上,并清晰写好自己的学号和姓名,然后拍照上传)
【单选题】(¬p→q)∧¬r可用{¬,∨}表示为:
【单选题】有三个命题变项pqr的命题公式,其极小项¬ p∧¬q∧r 可用mi的形式表示为
【判断题】“按租约规定办理”(subject to all terms as per C/P)的船方批注对结算时间无影响,可考虑接受。
【单选题】数字图像格式较多,图像质量、大小各不相同。下列图像格式中,压缩率非常高,图像质量较好的是( )。
【单选题】在自动控制系统中执行机构按能源种类可分为( )