논리식 동치 판별 · cho.sh