F->T is T

F->F is also T


You lost me.