카노맵 알고리즘을 이용하여 간소화된 논리식을 찾아주는 프로그램이다. 카노맵, 진리표, 논리식 형태의 3가지 입력 방식을 지원한다.

조합회로 또는 순차회로 설계시 설계과정을 단순화 시켜주고, 최종 결과 논리식을 자동으로 찾아주는 프로그램이다.

변수명, 민텀 값, 무정의 값을 적어주면 Quine-McClusky 알고리즘과 Petric알고리즘을 사용하여 간소화된 논리식을 찾아주는 프로그램이다.

임의의 R진수를 또다른 임의의 R'진수로 변환해주는 진수변환기 프로그램이다.

임의의 R진수에 대한 R보수 및 R-1보수를 자동으로 구해주는 프로그램이다.

TTL 칩에 대한 정보 보기와 기능별 소자 찾기 기능을 포함한 프로그램이다.