apl>" <-APL2-------------------- sam230.txt ---------------------------->


apl>" <- boolean functions --------------------------------------------->


apl>" <- not (~) ------------------------------------------------------->


apl>~ 0 1 2 3.4 -5

1 0 0 0 0

apl>" <- and (&) ------------------------------------------------------->


apl>a J.& a#0 1 2

0 0 0
0 1 1
0 1 1

apl>" <- nand (P) ------------------------------------------------------>


apl>a J.P a#0 1 2

1 1 1
1 0 0
1 0 0

apl>" <- or (V) -------------------------------------------------------->


apl>a J.V a#0 1 2

0 1 1
1 1 1
1 1 1

apl>" <- nor (`V) ------------------------------------------------------>


apl>a J.`V a#0 1 2

1 0 0
0 0 0
0 0 0

apl>" <- relational functions as boolean functions --------------------->


apl>a#0 0 1 1


apl>b#0 1 0 1


apl>0 & b	" 0 0 0 0 and

0 0 0 0

apl>a & b	" 0 0 0 1 and

0 0 0 1

apl>a > b	" 0 0 1 0 greater than

0 0 1 0

apl>a		" 0 0 1 1

0 0 1 1

apl>a < b	" 0 1 0 0 less than

0 1 0 0

apl>b		" 0 1 0 1

0 1 0 1

apl>a ^= b	" 0 1 1 0 not equal

0 1 1 0

apl>a V b	" 0 1 1 1 or

0 1 1 1

apl>a `V b	" 1 0 0 0 nor

1 0 0 0

apl>a = b	" 1 0 0 1 equal

1 0 0 1

apl>~ b		" 1 0 1 0 not

1 0 1 0

apl>a Z b	" 1 0 1 1 not less than

1 0 1 1

apl>~ a		" 1 1 0 0 not

1 1 0 0

apl>a K b	" 1 1 0 1 not greater than

1 1 0 1

apl>a P b	" 1 1 1 0 nand

1 1 1 0

apl>1 V b	" 1 1 1 1

1 1 1 1

apl>)off