AW: Wahrheitswerte

["Guenther Gsaller" <gsalg@XXXXXXX.at>]

> -----Ursprüngliche Nachricht-----
> Von: owner-dmug@XXXXXXX.ch [mailto:owner-dmug@XXXXXXX.ch]Im
> Auftrag von Michael Suesserott
> Gesendet: Mittwoch, 19. Juli 2000 17:14
> An: dmug@XXXXXXX.ch
> Betreff: Wahrheitswerte
>
>
> Hallo!
>
> Wie kann man für folgende Aussage:
>
> p==!m  &&  m==!n  &&  n==(!m && !p)
>
> folgende Wahrheitstafel erzeugen?
>
>  p    m    n    Aussage
>  0    0    0      0
>  0    0    1      0
>  0    1    0      1
>  0    1    1      0
>  1    0    0      0
>  1    0    1      0
>  1    1    0      0
>  1    1    1      0
>
> Schleifen mit True/False-Laufindex scheinen nicht zu funktionieren.


Aus einem Vorlesungsskriptum der Mathematik für Mechatroniker an der
Universität Linz (Österreich) stammt folgende Lösung:

kart[n_] :=
  kart[n] =
    Flatten[Table[
        Flatten[Append[{i}, kart[n - 1][[j]]]], {i, 0, 1}, {j, 1, 2^(n -
1)}],
       1]; kart[1] = {0, 1};

wahrheitstafel[f_, var_List] :=
        Module[{n = Length[var], t = {0 -> True, 1 -> False}},
                TableForm[Table[
                                Append[kart[n][[i]] /. t,
                                          f /. Table[var[[j]] -> kart[n][[i, j]] /. t, {j, 1, n}]],
                          {i, 1, 2^n}],
                TableHeadings -> {None, Append[var, Formel]}]]

aussage[p_, q_, r_] := ...  <--- hier können sie Ihre Aussage einsetzen

wahrheitstafel[aussage[p, q, r], {p, q, r}]

MfG Guenther