Asked by Alisha :)

Using truth tree decompostition, determine the consistency of the set of proposittions. Include line numbers and justifications, and recover the truth values if consistent.

{A and B, ~B or C}

Please help me on this one
There are no AI answers yet. The ability to request AI answers is coming soon!
There are no human answers yet. A form for humans to post answers is coming very soon!