프로그램별 bool-expr-solve.sf.net

부울 식 솔버는 주어진 부울 표현에 대한 진실 테이블을 생성하는 명령줄 유틸리티입니다.