Mathematical Modeling with LPL : Explain and run a Model
Problem Statement
Modeling Description
||
Back to MatMod
model SAT3 "Satisfibility III"; binary variable a "Superman is able to prevent evil"; w "Superman is willing to prevent evil"; i "Superman is impotent"; m "Superman is malevolent"; p "Superman prevents evil"; e "Superman exists"; constraint s1: a and w -> p; s2: (~a -> i) and (~w -> m); s3: ~p; s4: e -> i nor m; minimize ne: ~e "Superman does not exist"; Write('%s', if (e,'Superman exists.','Superman does not exist')); end
Problem Statement
Modeling Description
Back to model
The solution is as follows:
The LOG-File output of LPL is as follows: