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
{A and B, ~B or C}
Please help me on this one