[Vo]:(A => B) & A => B

[Horace Heffner]

Ooops.  I hit send a bit early. Slight mistake!


A,  B, f(A,B), [f(A,B) & A], f([f(A,B) & A],B)

F, F, T, F, T
F, T, T, F, T
T, F, F, F, T
T, T, T, T, T

Horace Heffner
http://www.mtaonline.net/~hheffner/