User Avatar
leeginnyy488
Joined
Apr 2025
Subscription
Free
User Avatar
leeginnyy488
Saturday, Oct 18 2014

So,

(A -> B) -> C = not C -> A and not B

(not A -> B) -> C = not C -> not A and not B

A -> (B->C) = A and not B -> C

?

Confirm action

Are you sure?