Changes

3 bytes removed ,  22:22, 2 December 2008
→‎Solution: del empty line
Line 17: Line 17:  
===Solution===
 
===Solution===
   −
* [http://mathforum.org/kb/plaintext.jspa?messageID=6514666 Solution posted by Jon Awbrey, working in the medium of logical graphs].
+
[http://mathforum.org/kb/plaintext.jspa?messageID=6514666 Solution posted by Jon Awbrey, working in the medium of logical graphs].
 
      
Required to show:  ~(p <=> q) is equivalent to (~q) <=> p.
 
Required to show:  ~(p <=> q) is equivalent to (~q) <=> p.
12,080

edits