>>  <<  Usr  Pri  JfC  LJ  Phr  Dic  Voc  !:  Help  Dictionary

Square *:  0 0 0 Not-And

*: y is the square of y .
 		   x *: y is the negation of x and y . For example 0 *: 0 is 1 .
 

The inverse of the square is the square root. For example:
   *: ^: _1 (_2 _1 0 1 2)
0j1.41421 0j1 0 1 1.41421

   3 +&.*: 4                  NB. Hypotenuse of triangle with sides 3 and 4
5
Since the domain of nand is limited to zero and one, its entire behaviour can be seen in the following function tables:
   d=: 0 1                    NB. Domain of nand
   d *:/ d                    NB. Table of nand
1 1
1 0

   d *./ d                    NB. Table of and
0 0
0 1
          
   -. d *./ d
1 1
1 0
Nand, Not and, and the dual of Nor all agree, as illustrated below:
   (*:/~ ; -.@*./~ ; +:&.-./~) d
+---+---+---+
|1 1|1 1|1 1|
|1 0|1 0|1 0|
+---+---+---+
>>  <<  Usr  Pri  JfC  LJ  Phr  Dic  Voc  !:  Help  Dictionary