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]

Testen • Tester

[Graphics:Images/Wahr_gr_2.gif]
[Graphics:Images/Wahr_gr_3.gif]
[Graphics:Images/Wahr_gr_4.gif]
[Graphics: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]

Eine Funktion • Une fonction

Ein erster Versuch • Premier essai

Definieren • Définir

[Graphics:Images/Wahr_gr_7.gif]

Output • Output

[Graphics:Images/Wahr_gr_8.gif]
[Graphics:Images/Wahr_gr_9.gif]

Subjunktion neu • Encore la subjonction

Definieren • Définir
[Graphics:Images/Wahr_gr_10.gif]
Testen, Vergleich • Tester, comparer
[Graphics:Images/Wahr_gr_11.gif]
[Graphics:Images/Wahr_gr_12.gif]
[Graphics:Images/Wahr_gr_13.gif]
[Graphics:Images/Wahr_gr_14.gif]
[Graphics:Images/Wahr_gr_15.gif]
[Graphics:Images/Wahr_gr_16.gif]
[Graphics:Images/Wahr_gr_17.gif]
[Graphics:Images/Wahr_gr_18.gif]
[Graphics:Images/Wahr_gr_19.gif]
[Graphics:Images/Wahr_gr_20.gif]
[Graphics:Images/Wahr_gr_21.gif]

Bijunktion  • Bijonction

Definieren • Définir
[Graphics:Images/Wahr_gr_22.gif]
Testen • Tester
[Graphics:Images/Wahr_gr_23.gif]
[Graphics: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]

Test mit einer Funktion  • Test avec une fonction

Eine Funktion • Une fonction
[Graphics:Images/Wahr_gr_26.gif]
[Graphics:Images/Wahr_gr_27.gif]
Test • Tester
[Graphics:Images/Wahr_gr_28.gif]
[Graphics:Images/Wahr_gr_29.gif]
[Graphics:Images/Wahr_gr_30.gif]
[Graphics:Images/Wahr_gr_31.gif]
[Graphics:Images/Wahr_gr_32.gif]
[Graphics:Images/Wahr_gr_33.gif]
[Graphics:Images/Wahr_gr_34.gif]

Fertiges Programm • Programme complet

Programm • Programme
[Graphics:Images/Wahr_gr_35.gif]
Test • Tester
[Graphics:Images/Wahr_gr_36.gif]
[Graphics:Images/Wahr_gr_37.gif]

Programm anwenden • Appliquer le programme

Ueb. • Ex. 1

Funktionen • Fonctions

[Graphics: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]
[Graphics:Images/Wahr_gr_40.gif]

Anwenden • Appliquer

[Graphics:Images/Wahr_gr_41.gif]
[Graphics:Images/Wahr_gr_42.gif]

b

Funktion • Fonction

[Graphics:Images/Wahr_gr_43.gif]
[Graphics:Images/Wahr_gr_44.gif]

Anwenden • Appliquer

[Graphics:Images/Wahr_gr_45.gif]
[Graphics:Images/Wahr_gr_46.gif]

c

Funktion • Fonction

[Graphics:Images/Wahr_gr_47.gif]
[Graphics:Images/Wahr_gr_48.gif]

Anwenden • Appliquer

[Graphics:Images/Wahr_gr_49.gif]
[Graphics:Images/Wahr_gr_50.gif]

d

Funktion • Fonction

[Graphics:Images/Wahr_gr_51.gif]
[Graphics:Images/Wahr_gr_52.gif]

Ueb. • Ex. 3

Kurz • Bref

a

[Graphics:Images/Wahr_gr_53.gif]
[Graphics:Images/Wahr_gr_54.gif]
[Graphics:Images/Wahr_gr_55.gif]
[Graphics:Images/Wahr_gr_56.gif]

b

[Graphics:Images/Wahr_gr_57.gif]
[Graphics:Images/Wahr_gr_58.gif]
[Graphics:Images/Wahr_gr_59.gif]
[Graphics:Images/Wahr_gr_60.gif]
[Graphics:Images/Wahr_gr_61.gif]
[Graphics:Images/Wahr_gr_62.gif]

Ueb. • Ex. 4

Ein grösserer Ausdruck • Une expression plus grande

[Graphics:Images/Wahr_gr_63.gif]
[Graphics:Images/Wahr_gr_64.gif]
[Graphics:Images/Wahr_gr_65.gif]
[Graphics:Images/Wahr_gr_66.gif]


Converted by Mathematica      November 21, 1999