If Jays, Martins, or both are in the forest then so are Harriers.
If J--> H
If M -> H , according to JY we should split when "or" is in the sufficient .
So what would the contro-positive be?
If not H-> not J?
If not H -> not M?
or would it be If not H -> not J and M ??
or is it if not H -> not J or M ?
Another question ....
But not both , or
Alan or Chris goes to park, but not both
If not A (-) C
If not C (-) A
so for not both, do we always just pick one throw it on either side of arrow and negate it?