Syntax definition wnor

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

	Ref	Expression
Assertion	wnor	wff ( ph -\/ ps )