Feature Request - add NOR operator

[idrisr]

First of, thanks for the great package!

For the sake of completeness, it would be useful to have the NOR (negated disjunction) operator. This is often use along with NAND to show that either is sufficient for expressing AND, NOT, and OR.

The truth table for nor is

| P | Q | P NOR Q |
|---|---|---------|
| T | T | F       |
| T | F | F       |
| F | T | F       |
| F | F | T       |

[K-Trout]

Hey

Thank you very much, and thanks for the suggestion.
When I work on it the next time, I will try to add it.

Cheers