Thought this was neat - came across this fellow CFer’s blog post about finding the CF Imp function.
Mentions the logic functions Imp (imply) and Eqv (equivalent). Kinda neat, I had totally forgot about Eqv() and I don’t think I ever really knew about Imp().
Explanations:
http://markun.cs.shinshu-u.ac.jp/learn/logic/logic1/html/eng/eqv-e.html
http://markun.cs.shinshu-u.ac.jp/learn/logic/logic1/html/eng/imp-e.html
Adobe Livedocs for logic expressions
Neat.
Subscribe to:
Post Comments (Atom)
1 comment:
That's crazy, I've never heard of IMP either, or EQV for that matter.
Post a Comment