discrete math

Joined
Jun 29, 2013
Messages
2
Reaction score
0
hi can some body guide me for getting the logical equivalence of this problem
¬(a→b) ↔ a^¬b = a→(b→a)
 
Last edited:
"a→(b→a)" is a tautology since if a is true then anything implies a: both T→T and F→T are true.

It is "=" to "¬(a→b) ↔ a^¬b" since that is also a tautology. If a→b is not true then a is true but b is false and so a^¬b is also true.
 

Members online

No members online now.

Forum statistics

Threads
2,521
Messages
9,844
Members
697
Latest member
RicoCullen
Back
Top