Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers


538 users

0 votes

Tool proof tree :

I tried solving above question and I got everything correct except the one leaf which is same as mine in tool but in solution it is slightly different.

In the first leaf in the solution it is written as {a,b} |- {} or I1(a) = I1(b) = true but my answer is coming as {b,d} |- {} or I1(d) = I1(b) = true. 

Is there any typo in exam solution ?

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

0 votes

Yes, there is a typo in the exam solution. The first variable assignment should be b=d=true instead of a=b=true since the following formula is valid:

((d∨¬(a⊕c))∧b) <-> b & d | a&b&c | !a&b&!c

by (166k points)
Imprint | Privacy Policy