let
or_ a b =
not_ (and_ (not_ a) (not_ b))