npc 배우면서 sat문제로 부터 출발했어욤~ 하는데 sat는 오토마타로 증명합니다 하고 건너뛰네...


오토마타 안배우는 학교라 그런데 저거 증명 대충이라도 설명해주실분