>>
<<
Ndx
Usr
Pri
Phr
Dic
Rel
Voc
!:
wd
Help
Dictionary
*: 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 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 Domain of nand
d *:/ d Table of nand
1 1
1 0
d *./ d 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|
+---+---+---+
>>
<<
Ndx
Usr
Pri
Phr
Dic
Rel
Voc
!:
wd
Help
Dictionary