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

1.6k comments

531 users

+1 vote

The question to submit is b&!a as a proof tree solution.

Then how to write the proof tree in the given answer box?

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

1 Answer

+2 votes

You are asked to compute a counterexample for a formula. b&!a is just an example of such a counterexample.

For example, I(b)=true (a)=false is a counterexample, then submit b&!a as your solution.

So you generate the proof tree for the formula your are given, read a counter example  of your choice. You will get a partial assignment that assigns some variables to true some to false. Variables assigned to false get negated, the other ones are used as bare variables. You then just build the conjunction of these variables, and that's your solution for the teaching tool.

by (25.6k points)
Imprint | Privacy Policy
...