0 votes
Hello

Please may explain what does it mean "Since the two cubes ¬b and a∧b∧c are non-overlapping" in below exam "Problem 1D".

https://es.cs.uni-kl.de/teaching/vrs/exams/2021.02.17.vrs/2021.02.17.vrs.solutions.pdf

Thank you.
in * TF "Intelligent Systems" by (770 points)
edited by

1 Answer

0 votes

The two cubes ¬b and a∧b∧c are non-overlapping since they do not share a common model, i.e., ¬b∧a∧b∧c is equivalent to false.

by (91.8k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
0 votes
1 answer
Imprint | Privacy Policy
...