[인공지능 수학] 논리 연산 논리 카드 챌린지

"주어진 진리표대로 논리식을 최소 카드로 완성하라!" 게임 방식 난이도 선택 — 보통(변수 A, B) / 어려움(변수 A, B, C) 중 선택 진리표 제시 — 화면에 목표로 하는 진리표(출력값 패턴)가 주어짐 카드 조립 — NOT(~), AND(∧), OR(∨), XOR(⊕), NAND(⊼), NOR(⊽), 괄호, 명제카드(A/B/C)를 눌러서 논리식을 쌓음 확인 — 조립한 식이 목표 진리표와 정확히 일치하는지 검사 (단, A/B/C 각 변수는 최소 한 번씩 써야 함) 8라운드를 거쳐 최종 점수 집계 주요 기능 카드 개수 = 점수: 카드를 적게 쓸수록 높은 점수. 각 진리표마다 이론상 최소 카드 수(최적값)를 미리 계산해두고, 이에 얼마나 가까운지에 따라 완벽/훌륭함/성공 3단계(★★★/★★☆/★☆☆)로 채점 재도전 페널티: 한 라운드에서 여러 번 성공하면(더 짧은 식을 찾으려고 재시도) 배율이 조금씩 깎임 — 첫 시도에서 잘 푸는 것을 유도 최고 기록 저장: 난이도별 최고 점수를 브라우저에 저장해 다음 방문 때도 유지 튜토리얼 모달: 교과서에 없는 NAND/NOR도 "AND/OR 결과를 뒤집은 것"이라는 식으로 쉽게 설명