Wahrheiswerttabellen per "Knopfdruck" • Tableaux de vérité "en pressant le bouton"
mit • avec Mathematica
Generierung von Wahrheitswerttabellen für die Variablen
• Générer des tableaux de vérité pour les variables
Säubern • Nettoyer
Remove["Global`@*"]
Programm • Programme
![[Graphics:Images/Wahr_gr_1.gif]](Images/Wahr_gr_1.gif)
Testen • Tester
![[Graphics:Images/Wahr_gr_2.gif]](Images/Wahr_gr_2.gif)
![[Graphics:Images/Wahr_gr_3.gif]](Images/Wahr_gr_3.gif)
![[Graphics:Images/Wahr_gr_4.gif]](Images/Wahr_gr_4.gif)
![[Graphics:Images/Wahr_gr_5.gif]](Images/Wahr_gr_5.gif)
Wahrheitsfunktionen definieren
• Définir des fonctions de vérité
Darstellung des Outputs • Représentation de l'output
![[Graphics:Images/Wahr_gr_6.gif]](Images/Wahr_gr_6.gif)
Eine Funktion • Une fonction
Ein erster Versuch • Premier essai
Definieren • Définir
![[Graphics:Images/Wahr_gr_7.gif]](Images/Wahr_gr_7.gif)
Output • Output
![[Graphics:Images/Wahr_gr_8.gif]](Images/Wahr_gr_8.gif)
![[Graphics:Images/Wahr_gr_9.gif]](Images/Wahr_gr_9.gif)
Subjunktion neu • Encore la subjonction
Definieren • Définir
![[Graphics:Images/Wahr_gr_10.gif]](Images/Wahr_gr_10.gif)
Testen, Vergleich • Tester, comparer
![[Graphics:Images/Wahr_gr_11.gif]](Images/Wahr_gr_11.gif)
![[Graphics:Images/Wahr_gr_12.gif]](Images/Wahr_gr_12.gif)
![[Graphics:Images/Wahr_gr_13.gif]](Images/Wahr_gr_13.gif)
![[Graphics:Images/Wahr_gr_14.gif]](Images/Wahr_gr_14.gif)
![[Graphics:Images/Wahr_gr_15.gif]](Images/Wahr_gr_15.gif)
![[Graphics:Images/Wahr_gr_16.gif]](Images/Wahr_gr_16.gif)
![[Graphics:Images/Wahr_gr_17.gif]](Images/Wahr_gr_17.gif)
![[Graphics:Images/Wahr_gr_18.gif]](Images/Wahr_gr_18.gif)
![[Graphics:Images/Wahr_gr_19.gif]](Images/Wahr_gr_19.gif)
![[Graphics:Images/Wahr_gr_20.gif]](Images/Wahr_gr_20.gif)
![[Graphics:Images/Wahr_gr_21.gif]](Images/Wahr_gr_21.gif)
Bijunktion • Bijonction
Definieren • Définir
![[Graphics:Images/Wahr_gr_22.gif]](Images/Wahr_gr_22.gif)
Testen • Tester
![[Graphics:Images/Wahr_gr_23.gif]](Images/Wahr_gr_23.gif)
![[Graphics:Images/Wahr_gr_24.gif]](Images/Wahr_gr_24.gif)
Programms für beliebig Wahrheitsfunktionen
• Programme pour des fonctions de vérité quelconques
Programm • Programme
Entwicklungsphase • Phase de développement
Programm als Test-Module • Programme comme Module pour tester
![[Graphics:Images/Wahr_gr_25.gif]](Images/Wahr_gr_25.gif)
Test mit einer Funktion • Test avec une fonction
Eine Funktion • Une fonction
![[Graphics:Images/Wahr_gr_26.gif]](Images/Wahr_gr_26.gif)
![[Graphics:Images/Wahr_gr_27.gif]](Images/Wahr_gr_27.gif)
Test • Tester
![[Graphics:Images/Wahr_gr_28.gif]](Images/Wahr_gr_28.gif)
![[Graphics:Images/Wahr_gr_29.gif]](Images/Wahr_gr_29.gif)
![[Graphics:Images/Wahr_gr_30.gif]](Images/Wahr_gr_30.gif)
![[Graphics:Images/Wahr_gr_31.gif]](Images/Wahr_gr_31.gif)
![[Graphics:Images/Wahr_gr_32.gif]](Images/Wahr_gr_32.gif)
![[Graphics:Images/Wahr_gr_33.gif]](Images/Wahr_gr_33.gif)
![[Graphics:Images/Wahr_gr_34.gif]](Images/Wahr_gr_34.gif)
Fertiges Programm • Programme complet
Programm • Programme
![[Graphics:Images/Wahr_gr_35.gif]](Images/Wahr_gr_35.gif)
Test • Tester
![[Graphics:Images/Wahr_gr_36.gif]](Images/Wahr_gr_36.gif)
![[Graphics:Images/Wahr_gr_37.gif]](Images/Wahr_gr_37.gif)
Programm anwenden • Appliquer le programme
Ueb. • Ex. 1
Funktionen • Fonctions
![[Graphics:Images/Wahr_gr_38.gif]](Images/Wahr_gr_38.gif)
Anwenden: Vergleich von Wahrheitstabellen
• Appliquer: Comparaison de tableaux de vétité
Ueb. • Ex. 2
a
Funktion • Fonction
![[Graphics:Images/Wahr_gr_39.gif]](Images/Wahr_gr_39.gif)
![[Graphics:Images/Wahr_gr_40.gif]](Images/Wahr_gr_40.gif)
Anwenden • Appliquer
![[Graphics:Images/Wahr_gr_41.gif]](Images/Wahr_gr_41.gif)
![[Graphics:Images/Wahr_gr_42.gif]](Images/Wahr_gr_42.gif)
b
Funktion • Fonction
![[Graphics:Images/Wahr_gr_43.gif]](Images/Wahr_gr_43.gif)
![[Graphics:Images/Wahr_gr_44.gif]](Images/Wahr_gr_44.gif)
Anwenden • Appliquer
![[Graphics:Images/Wahr_gr_45.gif]](Images/Wahr_gr_45.gif)
![[Graphics:Images/Wahr_gr_46.gif]](Images/Wahr_gr_46.gif)
c
Funktion • Fonction
![[Graphics:Images/Wahr_gr_47.gif]](Images/Wahr_gr_47.gif)
![[Graphics:Images/Wahr_gr_48.gif]](Images/Wahr_gr_48.gif)
Anwenden • Appliquer
![[Graphics:Images/Wahr_gr_49.gif]](Images/Wahr_gr_49.gif)
![[Graphics:Images/Wahr_gr_50.gif]](Images/Wahr_gr_50.gif)
d
Funktion • Fonction
![[Graphics:Images/Wahr_gr_51.gif]](Images/Wahr_gr_51.gif)
![[Graphics:Images/Wahr_gr_52.gif]](Images/Wahr_gr_52.gif)
Ueb. • Ex. 3
Kurz • Bref
a
![[Graphics:Images/Wahr_gr_53.gif]](Images/Wahr_gr_53.gif)
![[Graphics:Images/Wahr_gr_54.gif]](Images/Wahr_gr_54.gif)
![[Graphics:Images/Wahr_gr_55.gif]](Images/Wahr_gr_55.gif)
![[Graphics:Images/Wahr_gr_56.gif]](Images/Wahr_gr_56.gif)
b
![[Graphics:Images/Wahr_gr_57.gif]](Images/Wahr_gr_57.gif)
![[Graphics:Images/Wahr_gr_58.gif]](Images/Wahr_gr_58.gif)
![[Graphics:Images/Wahr_gr_59.gif]](Images/Wahr_gr_59.gif)
![[Graphics:Images/Wahr_gr_60.gif]](Images/Wahr_gr_60.gif)
![[Graphics:Images/Wahr_gr_61.gif]](Images/Wahr_gr_61.gif)
![[Graphics:Images/Wahr_gr_62.gif]](Images/Wahr_gr_62.gif)
Ueb. • Ex. 4
Ein grösserer Ausdruck • Une expression plus grande
![[Graphics:Images/Wahr_gr_63.gif]](Images/Wahr_gr_63.gif)
![[Graphics:Images/Wahr_gr_64.gif]](Images/Wahr_gr_64.gif)
![[Graphics:Images/Wahr_gr_65.gif]](Images/Wahr_gr_65.gif)
![[Graphics:Images/Wahr_gr_66.gif]](Images/Wahr_gr_66.gif)
Converted by Mathematica
November 21, 1999