Il s'agit de la commande qmc qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
QMC : - outil de simplification (en utilisant le procédé Quine - McClusky)
SYNOPSIS
QMC [OPTION]
DESCRIPTION
Outil de simplification en utilisant le procédé Quine - McClusky.
OPTIONS
-a, --éviter
éviter les astérisques en sortie
-d, --describesyntaxe décrire la syntaxe de l'EQU
-g, --obtenable
obtenir une table booléenne
-G --gethtmltable
obtenir une table booléenne en sortie HTML
-h, --Aidez-moi
afficher cette aide et quitte
-p, --rapide
invite pour l'équation
-s, --la source ÉQU
mettre un côté de l'équation
-t, --tableau
définir une table booléenne
-T, --temps
afficher le temps utilisé
-v, --verbeux
progression de l'impression
--version
informations de version et quitte
A few échantillons:
QMC -s "/[a+b]*[/b*c]" qmc -g -s "x + //y * [ z + /z * y ] * 1" qmc -T -s
"a*/b+c+d+e*/c+f*e" qmc -p
(les symboles sont reconnus comme des caractères uniques)
Accueil du projet : http://qmc.pollaknet.at
Veuillez signaler les bogues àthomas@pollaknet.at>.
DROIT D'AUTEUR
Copyright © 2000 Thomas Pollak
Ce programme est un logiciel libre ; vous pouvez le redistribuer et/ou le modifier selon les termes de
la licence publique générale GNU telle que publiée par la Free Software Foundation ; Soit
version 2 de la Licence, ou toute version ultérieure.
Ce programme est distribué dans l'espoir qu'il sera utile, mais SANS AUCUNE GARANTIE ;
sans même la garantie implicite de QUALITÉ MARCHANDE ou D'ADAPTATION À UN USAGE PARTICULIER.
Voir la licence publique générale GNU pour plus de détails.
Vous devriez avoir reçu une copie de la licence publique générale GNU avec ce programme ;
sinon, écrivez à la Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139,
Etats-Unis.
QMC : outil de simplification (en utilisant le procédé QuiNovemberl2003) QMC :(1)
Utiliser qmc en ligne en utilisant les services onworks.net