#!/bin/bash 
#les fonctions pour QMC: - simplification tool (by using the Quine - McClusky process) 
# voir le fichier wiki_qmc.sh pour l'explication des equations 
source wiki_qmc.sh 
#TD1  
#voici les 6 équations à résoudre  
A="/b/c/d+a/bcd+/bc/d+abc/d+bd" 
B="ab+/c/d+/a/bc/d+/abc/d" 
C="c(a/d+/ab)+acd(a+/b)" 
D="abc+a/bc+ab/cd" 
E="(a+bc)+/a(/b+/c)(ad+c)" 
F="/a/bc+a/bc+/(a+c)+/bc/d+/(/a+c)" 

fichier="logique_td.txt" 
: >"$fichier" 
for eq in $(echo {A..F}) # eq prend les valeurs de A à F 
do # ${!eq} c'est de l'adressage indirect, eq prend la valeur (du contenu de A à F),ici une des équations 
	ecrire "${!eq}" $eq >>"$fichier" #on aurait pu utiliser eval t=\$$eq 
done