hylotab-1.2.0: examples/unsat/form25.frm
begin
(
(@ n1 n2 & @ n1 ((p2 v @ n2 p1) -> p3))
&
- (@ n2 (p2 v @ n2 p1) -> @n1 p3)
)
end
begin
(
(@ n1 n2 & @ n1 ((p2 v @ n2 p1) -> p3))
&
- (@ n2 (p2 v @ n2 p1) -> @n1 p3)
)
end