Programmation logique
Définition 4.2 (Axiomes de la logique booléenne) Un axiome de la logique booléenne ... Exercice 7.2 (corrigé page 217). [Soustraction en unaire] Construire un ...
Définition 4.2 (Axiomes de la logique booléenne) Un axiome de la logique booléenne ... Exercice 7.2 (corrigé page 217). [Soustraction en unaire] Construire un ...