12 *. 18 36 12 *. 18 22 36 132 *./ 12 18 22 396 0 1 0 1 *. 0 0 1 1 NB. for truth valued arguments (0 and 1) it is equivalent to "and" 0 0 0 1 *./~ 0 1 0 0 0 1