처리 결과를 결정하는 조건은 A(인증 성공), V(입력값 유효), W(저장 성공)이다. A가 거짓이면 뒤 조건과 무관하게 인증 오류, A가 참이고 V가 거짓이면 W와 무관하게 입력 오류, A와 V가 참이고 W가 거짓이면 저장 오류, 셋 모두 참이면 완료이다.대시(-)를 무관 조건으로 쓸 때 네 동작을 한 번씩 검증하는 최소 규칙 네 개를 순서와 무관하게 쓰시오.
모범답안
F--, TF-, TTF, TTT
풀이와 판단 근거
A가 거짓이면 V와 W는 결과에 영향을 주지 않으므로 F-- 한 규칙으로 표현할 수 있다. A는 참이지만 V가 거짓이면 W는 무관해 TF-가 된다.
앞의 두 조건이 참일 때 W가 거짓인 TTF와 참인 TTT를 나누면 저장 오류와 완료를 각각 검증한다. 따라서 축약 결정 테이블은 F--, TF-, TTF, TTT의 네 규칙이다.
자주 틀리는 지점
- 무관 조건을 모두 T와 F로 펼쳐 규칙 수를 불필요하게 늘림
- TTF와 TTT 중 하나를 누락
- 조건 순서를 W-V-A로 바꾸어 답함
자동 판정 방식
한글·영문 동의어와 문항별 필수 개념을 확인하며, 정답 단어가 부정되거나 반대 개념과 함께 쓰이면 자동 정답으로 확정하지 않습니다. 부분점수는 ITPASSLAB의 학습용 예상 점수입니다.