truth-table

명제 논리에서 가능한 모든 입력 조합에 대한 출력 결과를 나열한 표. 이 엔진은 이를 통해 규칙 간의 모순이나 항진 여부를 결정론적으로 검증한다.