pub type Nor<P, Q> = Not<Or<P, Q>>;
Composes Not and Or.
Not
Or
pub struct Nor<P, Q> { /* private fields */ }