truth table ((A and B) or C)=>B