Sein oder nicht Sein

Aufgabe:
Tautologien sind immer wahr!

Man zeige: „Be or not to be“ ist eine Tautologie!
http://de.wikipedia.org/wiki/Sein_oder_Nichtsein,_das_ist_hier_die_Frage

Programmcode:
Version 1

n(u):=1-u;
o(x,y):=x+y-x*y;
bnb(x,y):=o(x,n(x));
bnb(1,1);
bnb(1,0);
bnb(0,1);
bnb(0,0);

Version 2

n(u):=1-u;
o(u,v):=u+v-u*v;
bnb(x):=o(x[1],n(x[1]));
W:{1,0};
WT:reverse(listify(cartesian_product(W,W)));
Result:map(bnb,WT);
[transpose(WT),transpose(Result)];

Version 3

n(u):=not u;
o(u,v):=u or v;
bnb(x):=o(x[1],n(x[1]));
W:{true,false};
WT:reverse(listify(cartesian_product(W,W)));
Result:map(bnb,WT);
[transpose(WT),transpose(Result)];

Maxima-Online: http://maxima-online.org/?inc=r-202349713

Verbesserter Algorithmus: http://maxima-online.org/?inc=r-1341626167

Mit Boolescher Algebra: http://maxima-online.org/?inc=r-197911884

Advertisements

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s