Quote by verty
Perhaps this is better. It is a binary function that maps 2tuples of truth values to a truth value which is false for (0,0) and true otherwise.
Oh, perhaps this is circular.

I think this is circular too.
Correct me if I am wrong. You define OR as a function [tex]f: (x,y) \to z[/tex] where [tex] x,y,z \; \epsilon \; \{0, 1\}[/tex] satisfying the following property:
[tex](x,y) = (0,0) \Rightarrow z = 0 \land (x,y) \neq (0,0) \Rightarrow z = 1 [/tex]
I guess the circularity of this definition depends on how you define [tex]\land[/tex] and [tex]\Rightarrow[/tex]...