본문바로가기
만족^가능식 편집하기 편집 금지 요청
분야
『정보·통신』
「001」컴퓨터 프로그램의 조건절에서의 결과가 참이 되는 논리식.

대역어

영어
satisfiable formula
위로