Can Someone solve this question please
(B-->R) and (BL --> Y) and (BL --> ~ R) --> (B --> Y)
There are well-known methods, other than truth tables, for proving that a formula is a tautology (though none of these methods is "standard"), but methods for proving that a formula is not a tautology are not nearly as well-known. Perhaps you have studied one; then you should tell us how it was done in your course.
I got almost the same result $(\neg Y\land B\land R)\to BL$, or $Y\lor\neg B\lor\neg R\lor BL$. (If $Y=B=R=\text{True}$ and $BL=\text{False}$, then $(B\land R)\to BL$ is false, but the original formula is true.) However, how do we know that $Y\lor\neg B\lor\neg R\lor BL$ is not a tautology? It is obvious, of course, but mostly because it is clear which truth values make this formula false. Then why not use truth values with the original formula?
That's how I did it.
SlipEternal did use logical equivalences. Concerning rules of inference, most calculi are designed to prove, not disprove, formulas. Since this formula is not a tautology, it cannot be proved. There are some systems (e.g., tableau calculus) that can check formulas for validity. If you are using such calculus, you need to say so. So far you have said nothing about the equivalences and inference rules you are using.