I have heard of a table true false for C Language for and && or || is kind of the mathematics one for which they say if true+tru
I think You ask for Boolean algebra which describes the output of various operations performed on boolean variables. Just look at the article on Wikipedia.