electric Een verzameling Booleaanse logische gereedschappen
Download nu

electric Rangschikking & Samenvatting

electric Tags

Python-bibliotheek bibliotheek logica boolean Booleaanse logica

electric Beschrijving

Een verzameling Booleaanse logische gereedschappen Electruth is een verzameling booleaanse logische gereedschappen. Het kan worden gebruikt als zowel een opdrachtregelgereedschap als een Python-bibliotheek. Het begrijpt Boolean Algebra (tot op zekere hoogte) en kan worden gebruikt om Booleaanse uitdrukkingen te vereenvoudigen met behulp van de QININE-MCCLUSKY-methode.Electruth kan nuttig zijn als u een waarheidstabel heeft, behoefte aan Basic Docking. Electruth kan ook worden gebruikt om Booleaanse uitdrukkingen te vergelijken, wat erg handig kan zijn als u een waarheidstabel moet vergelijken met een schema dat u hebt gemaakt op basis van die waarheidstabel. Electruth kan ook worden gebruikt om complexe Booleaanse uitdrukkingen te "vernietigen" in eenvoudiger die alleen uit Ands, Ors en NotSs.installingway # 1Just uitvoeren, vereist dat u Python-Setuptools hebt geïnstalleerd): Sudo Easy_Install Electruthway # 2Get op http://metanohi.org/projects/electruth/ of op http://pypi.python.org/pypi/electruthextract het gedownloade bestand en voer dit uit in een terminal: Python Setup.py InstalleringInstalling Electruth installeert een opdrachtregelprogramma genoemd elektrisch. Dit programma heeft veel instellingen en het wordt aanbevolen om Electruth -Help uit te voeren om een overzicht van hen te krijgen. Het programma creëert Booleaanse uitdrukkingen van welke input u het geeft. Als u het meer dan één invoer geeft, vergelijkt deze de twee ingangen (tenzij u het zegt dat niet om dat te doen). Veel ingangen worden ondersteund: * Basic Boolean-uitdrukkingen (bijv. A en (B of C) of A * (B + C) (dezelfde)) * Otities, met behulp van tab-gescheiden (.SV) of komma-gescheiden (.csv) Waarden in een bestand, de eerste rij specificeren de namen van de ingangen en uitgangen met een voorvoegsel voor uitvoer. * Netlists (.net), b.v. Degenen die zijn gegenereerd van gnetist van het GEDA-project (Geda Schematics van Gschem kunnen ook worden geladen, maar ze worden omgezet in Netlists (in eerste opgeslagen in tijdelijke bestanden) in het begin). Sommige instellingen kunnen ook worden ingesteld in een configuratiebestand. Config-bestanden gebruiken een eigenschap = Waarde Syntaxis (bijvoorbeeld Auto Vergelijk = False) gescheiden door newlines.DevelopingelectReuth is geschreven in Python en gebruikt Git voor takken. Om de nieuwste tak te krijgen, haal het dan van Gitorious.org als volgt: Git Clone Git: //gitorious.org/electruth/electruth.git-vereisten: · Python

electric Gerelateerde software