nor.an

Theorem.

Arguments:

(pr), (pr),

Assertions:

(()())

Proof:

Hyp	Ref	Line	Expr
	bneg>	1	()
	bneg>	2	()
1, 2	bi.bldor<>	3	(()())
3	bi.bldneg	4	(()())
	an.or	5	(()())
4, 5	><bitr	6	(()())