This website requires JavaScript.
Explore
Help
Register
Sign In
greatbody
/
freeCodeCamp
mirror of
https://github.com/freeCodeCamp/freeCodeCamp.git
Watch
1
Star
0
Fork
You've already forked freeCodeCamp
0
Code
Issues
Projects
Releases
Wiki
Activity
ad812214ad
freeCodeCamp
/
guide
/
chinese
/
logic
/
satisfiability
/
index.md
319 B
Raw
Blame
History
Unescape
Escape
title
localeTitle
Satisfiability
可满足
可满足
如果对于变量的某些真/假赋值
有时
是公式P
,
则认为公式P是
可满足
的。
例:
x ^ y
:
可满足x = T
,
y = T.
xvy - > x
:
可满足x = T
,
y = F.
如果没有分配,则认为不满意。
更多信息: