%%%
%%% Programmieraufgaben mehrwertige Logik
%%%
%%% Die folgenden Aufgaben sind als Anregungen gedacht.
%%%
%%% 1) Besorgen Sie sich das Programmpaket zur Aussagenlogik und
%%% bearbeiten Sie zunaechst das zugehoerige Aufgabenblatt.
%%%
%%% 2) Einige Praedikate sind schon fŸr die mehrwertige Logik vorbereitet 
%%% (Wahrheitstafelausgabe, Belegungsgenerierung), hier muessen nur 
%%% Kommentarklammern entfernt werden.
%%%
%%% 3) Aendern Sie die Formelevaluation so, dass die Berechnung der L3 oder 
%%% der K3-Logik entspricht. 
%%%
%%% 4) Pruefen Sie, ob Sie korrekt gearbeitet haben, indem sie geeignete 
%%% Formeln evaluieren.
%%%
%%% 5) Aendern Sie die Bestimmung von Tautologien, Kontradiktionen etc. im 
%%% Sinne der Vorschlaege der Vorlesung und evaluieren Sie das Ergebnis.