Syntax definition wnor

Description: Extend wff definition to include joint denial ("nor").

	Ref	Expression
Assertion	wnor	wff ( 𝜑 ⊽ 𝜓 )