离散数学中的可满足式是什么意思

2025-03-04 12:24:14
推荐回答(1个)
回答1:

可满足式

设A为任一命题公式,若A在各种真值指派下至少存在一组成真指派,则A是可满足式,反之为矛盾式。

换言之,对于命题公式A,若A不是矛盾式,则称A是可满足式。