根据普通逻辑基本规律中的（）律，已知“若p，则非q”为假，则联言命题（）为真。