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):= not u;
o(x,y):=x or y;
bnb(x):=o(x,n(x));
S:[true,false];
map(bnb,S);

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

Über Johnny Weilharter

Direktor i. R. der Bundeshandelsakademie und Bundeshandelssschule in Tamsweg, Österreich
Dieser Beitrag wurde unter BOOLESCHE ALGEBRA, Creative Commons, Formeln, FUNKTIONEN, Listenverarbeitung abgelegt und mit , , verschlagwortet. Setze ein Lesezeichen auf den Permalink.

Schreibe einen Kommentar

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