Software Engineering Prof. Dr. Sven Apel


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:

the SE team

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