Computer Science
Answer
When two propositional statements are joined together such that the second statement is a logical consequent of the first, then the relation is said to be implication. It is denoted by → , ⇒ or ⊃ . For example, A → B refers to as 'A implies B' and has its literal meaning as 'if A is true then B is true'. A → B can be represented as A' + B.
A Bi-Conditional joins two logical statements in such a way that the result is true if both of them have the same truth values. It is represented by the symbol ↔ or ⇔ and is said to be 'if and only if'. For example, A ⇔ B refers to 'A bi-conditional B' and can be represented as A'.B' + A.B.