Informatik-Forum.at
>
TU Wien
>
Bachelorstudien (53x): Grundstudium (1 & 2 Semester)
>
Theoretische Informatik und Logik, VU
> [Frage] Test aus dem SS 03 (27.06.03)
PDA
View Full Version : [Frage]
Test aus dem SS 03 (27.06.03)
Calida
30-10-2003, 13:54
Kann mir bitte jemand erklären wie ich bei bsp 1 vorgehen muss um festzustellen ob das jetzt erfüllbar, unerfüllbar, gültig oder ein Tautologie ist?
Danke
lacklady
30-10-2003, 14:09
http://hades.gothic.at/iforum/showthread.php?t=12211
vBulletin® v3.7.1, Copyright ©2000-2009, Jelsoft Enterprises Ltd.