A Problem in Logic (42)

13 Name: #!/usr/bin/anonymous : 2008-05-04 17:05 ID:BJTy114F

>>12
Oh hai

thrD(a,b,c) := not(a=b=c)
frE( a, b, c, d ) := not( thrD( a, b, c) or thrD(b,c,d) )

Return Entire thread Last 50 posts
This thread has been closed. You cannot post in this thread any longer.