Question 251007
A->B
(A&C)->B
There are two problems with this.
& is not a mathematical symbol such as + and * for addition and multiplication
SO I do not know what you mean by A & C
Let's say that & means addition  
If C is negative 
A-C is not necessarily = nor greater B
9-> 4
9-7 is not greater than 4
and not equal to 4
Please explain A&C