2,951
edits
(Scan idiom) |
|||
Line 4: | Line 4: | ||
== Boolean function == | == Boolean function == | ||
When the arguments to Less than or Equal to are [[Boolean]], it is the [[wikipedia:Material conditional|material implication]] [[Boolean function]], also known as the [[wikipedia:IMPLY gate|IMPLY gate]]: | |||
When the arguments to Less than or Equal to are [[Boolean]], it is the [[wikipedia:Material conditional|material implication]] function, also known as the [[wikipedia:IMPLY gate|IMPLY gate]]: | ::{|class=wikitable | ||
{|class=wikitable | |||
!<source lang=apl inline>≤</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source> | !<source lang=apl inline>≤</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source> | ||
|- | |- | ||
Line 16: | Line 15: | ||
|} | |} | ||
In the context of logic, it can be read as ''implies''. | In the context of logic, it can be read as ''implies''. | ||
Less than or Equal to [[Scan]] is an occasionally used pattern related to [[Less than]] Scan. While <source lang=apl inline><\</source> changes all 1s after the first to 0, <source lang=apl inline>≤\</source> changes all 0s after the first to 1. Thus <source lang=apl inline>≤\A</source> {{←→}} <source lang=apl inline>~<\~A</source>. | |||
<source lang=apl> | |||
≤\ 1 0 1 0 0 0 1 0 | |||
1 0 1 1 1 1 1 1 | |||
</source> | |||
<source lang=apl inline>≤\</source> appears in the [[FinnAPL idiom library]] as entry 350, "Not first zero". | |||
== External links == | == External links == |