 | 전기부울 논리 도구 모음 |
| 지금 다운로드 | |
전기 순위 및 요약
광고
전기 태그
전기 설명
부울 논리 도구 모음 Electruth는 부울 논리 도구 모음입니다. 명령 줄 도구와 Python 라이브러리로 사용할 수 있습니다. 부울 대수학 (어느 정도)을 이해하며 quine-mcclusky method.electruth를 사용하여 부울 표현을 단순화하는 데 사용할 수 있습니다. 기본 단축이 필요한 진리 테이블이있는 경우에 유용 할 수 있습니다. 또한, 진리표를 기반으로 한 개시식으로 진실 테이블을 비교 해야하는 경우, 부울 표현식을 비교하는 데 사용될 수도 있습니다. Electruth는 "Destinaling Wexting of Electruth insightway # 1just가 실행됩니다. installingway # 1just이 (가 설치되어 있는데 파이썬 세트 듀얼이 설치되어 있어야 함) : sudo easy_install electuthaway # 2 장의 Electruth 버전을 최신 버전으로 http://metanohi.org/projects/electruth/ 또는 http://pypi.python.org/pypi/electruthon.org/pypi/electruthextract 다운로드 한 파일에서 터미널에서 실행하십시오. python setup.py installusinginstilling Electruth가 명령 줄 유틸리티를 설치합니다. 명명 된 전기. 이 프로그램에는 많은 설정이 있으며 Electruth -help를 실행하여 개요를 얻으려면 프로그램을 제공하는 것이 좋습니다. 프로그램을 제공하는 모든 입력에서 부울 표현식을 만듭니다. 하나 이상의 입력을 제공하는 경우 두 개의 입력을 비교합니다 (그렇지 않으면 그렇게하지 않으면). 많은 입력이 지원됩니다. * 기본 부울 표현식 (예 : A 및 (B + C) 또는 쉼표로 구분 된 (.CSV) 또는 쉼표로 구분 된 (.csv) 사용 파일의 값, 첫 번째 행은 입력 및 출력에 대한 <접두사 및 출력에 대한 <접두사가있는 출력을 지정합니다. * Netlists (.NET), 예를 들어, GEDA 프로젝트의 GNETLIST에서 생성 된 것들 (GEDA 회로도가로드 될 수도 있지만, 먼저 NetLists (임시 파일에 저장)로 변환됩니다. 구성 파일은 newlines.developingElectRuth로 구분 된 property = Value 구문 (예 : Auto Conpecture = false)을 사용하여 파이썬으로 작성되며 브랜치에 Git를 사용합니다. 최신 지점을 얻으려면 gitorious.org에서 얻을 수 있습니다 : git clone git : //gitorious.org/electruth/electruth.git 요구 사항 : · 파이썬
전기 관련 소프트웨어
