Tuesday, December 02, 2008

CF logic functions - Imp and Eqv

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.

1 comment:

jyoseph said...

That's crazy, I've never heard of IMP either, or EQV for that matter.