OK. This is what we learn in Discrete maths. However, it looks a lot like boolean algebra. Anyway, to the question. Does anyone know where I can get lectures notes or information about the topic. Seeing as I have done Boolean algebra before I have been elected to explain to others. I know what everything means. I just need to get some information about implication and bicondiational operaters.

Any help appreciated