開論理式