충족 가능성 문제: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
새 문서: '''충족 가능성 문제'''(Satisfiability problem)는 하나의 곱셈 표준형 (CNF)이 주어졌을 때, 여기에 포함되는 모든 변수의 값을 참, 거짓으로 ... |
PaulandSuarez (토론 | 기여) 편집 요약 없음 |
||
2번째 줄:
{{토막글}}
[[분류:논리학]]
[[de:Erfüllbarkeitsproblem der Aussagenlogik]]
| |||