| electr juda Una colección de herramientas lógicas booleanas |
Descargar ahora |
electr juda Clasificación y resumen
- Nombre del editor:
- Niels Serup
- Sitio web del editor:
- http://metanohi.org
electr juda Etiquetas
electr juda Descripción
Una colección de herramientas lógicas booleanas. Electruth es una colección de herramientas lógicas booleanas. Se puede utilizar como una herramienta de línea de comandos y una biblioteca de Python. Entiende el álgebra booleano (hasta cierto punto) y se puede usar para simplificar las expresiones booleanas utilizando el método Quine-McClusky. Electruth puede ser útil si tiene una tabla de verdad en necesidad de acortamiento básico. El electruth también se puede usar para comparar expresiones booleanas, que pueden ser muy útiles si necesita comparar una tabla de verdad con un esquema que creó en función de esa tabla de verdad. Electruth también se puede utilizar para "destruir" expresiones booleanas complejas en las más simples que consisten únicamente en los ANDS, ORS y Nots.Installingway # 1Just Ejecutar esto (requiere que tenga instalado Python-setuptOols): sudo Easy_Install ElectricaThway # 2get La versión más reciente de Electruth en http://metanohi.org/projects/electruth/ o en http://pypi.python.org/pypi/electruthextract el archivo descargado y ejecute esto en un terminal: python setup.py installusinginstaling Electruth instala una utilidad de línea de comandos Nombrado Electruth. Este programa tiene muchas configuraciones, y se recomienda ejecutar electruth --help para obtener una visión general de ellos. El programa crea expresiones booleanas de cualquier entrada que le dé. Si le da más de una entrada, comparará las dos entradas (a menos que si le dice que no haga eso). Se admiten muchas entradas: * expresiones booleanas básicas (p. Ej., A y (B o C) o A * (B + C) (las mismas)) * Transportables, usando TAB-Separados (.TSV) o Separados por comas (.CSV) Valores en un archivo, la primera fila que especifica los nombres de las entradas y salidas con una
electr juda Software relacionado