k46_[`and`or`not`impl]:(&;|;~:;~>)

k46:{
 v:((#x)#2)_vs!_2^#x
 r:@[`k46_;x;:;v]. y
 +`false`true v,,r}