New Connectives (BB: Exercise 4.2.2)
The connectives nand and nor are defined by the following truth tables:
| p | q | p nand q | p nor q |
|---|---|---|---|
| TRUE | TRUE | FALSE | FALSE |
| TRUE | FALSE | TRUE | FALSE |
| FALSE | TRUE | TRUE | FALSE |
| FALSE | FALSE | TRUE | TRUE |
Give the tableau expansion rules for both connectives.