*: Square - Not-And

>> << Ndx Usr Pri Phr Dic Rel Voc !: wd 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|
    +---+---+---+

>> << Ndx Usr Pri Phr Dic Rel Voc !: wd Help Dictionary