Which one of the following well - formed formulae is a tautology?

set2018 @setgate
30 Aug 2017 07:07 pm

-----> implies

<-----> bidirectional

can we say bidirectional is same as logical equivalent ?

Habib Mohammad Khan @habibkhan
30 Aug 2017 08:16 pm

Yes bidirectional means both way implication holds which is nothing but equivalence ..In digital logic the same thing becomes XNOR as an analogy..

set2018 @setgate
30 Aug 2017 09:12 pm

and reverse of this will be XOR?

Habib Mohammad Khan @habibkhan
30 Aug 2017 11:20 pm

Not reverse to be precise but negation of equivalence is XOR(exclusiveness)..XOR suggests one of  p ==> q or q ==> p should exist but not both at the same time..