离散数学
上QQ阅读APP看书,第一时间看更新

§3.3 谓词公式的等值演算