All pastes #32320 Raw Edit

Something

public text v1 · immutable
#32320 ·published 2005-12-04 06:17 UTC
rendered paste body
fun pbor p q r = case (p, q, r) of
                     (true, true, true) => false |
                     (true, true, false) => true |
                     (true, false, true) => false |
                     (true, false, false) => false |
                     (false, true, true) => false |
                     (false, true, false) => true |
                     (false, false, true) => true |
                     (false, false, false) => false;