Uses math Procedure Main Var i,j,k,vars,first:Integer CGIWriteLn('content-type: text/html') CGIWriteLn('') CGIWriteLn('') CGIWriteLn('') CGIWriteLn('') CGIWriteLn('') CGIWriteLn('Kanonische Normalformen') CGIWriteLn('') CGIWriteLn('') CGIWriteLn('
') vars:=Val(GetQueryString('vars')) vars:=minimum(vars,9) CGIWriteLn('Anzahl der Variablen: ') If vars>0 CGIWriteLn('') CGIWrite('') NLoop(j,vars-1,CGIWrite('
'+Chr(j+Asc('a'))+'')) i:=0 While i') NLoop(j,vars-1,CGIWrite(''+Choice(Sel(pot(2,vars-j-1) B_And i),'1','0')+'')) CGIWriteLn('') i++ End CGIWriteLn('
') k:=0 While k<2 first:=true CGIWrite(Choice(Sel(k),'Kon','Dis')+'junktive Normalform: ') i:=0 While i∧ ',' ∨ ')) first:=false CGIWrite('(') j:=0 While j<=vars-1 CGIWrite(Choice(Abs(k-Sel(pot(2,vars-j-1) B_And i)),'','¬')+''+Chr(j+Asc('a'))+'') ?j') k++ End End CGIWriteLn('') CGIWriteLn('') CGIWriteLn('Quellcode
') CGIWriteLn('
') CGIWriteLn('Sven Killig 2007, 2013') CGIWriteLn('') CGIWriteLn('') EndProc