Software Engineering Prof. Dr. Sven Apel

News

XOR-Groups in the Assignment

Written: 30.11.2020 15:36 Written By: Christian Hechtl

Dear students,

some of you have discovered that when using the new version of XOR in the propositional formula, you get a combinatorial explosion for the "and not" clauses. Therefore we have introduced a simplification/abbreviation which can be used. You can find all the information in this forum post: https://forum.se.cs.uni-saarland.de:51443/t/xor-groups-in-propositional-formulas/249/3

Best,
the SE team



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators