Ok, this is a definition discrepancy. The or that I’m using is (A or B) <-> not( (not A) and (not B)).
Edit: I was wrong for a different reason.
Ok, this is a definition discrepancy. The or that I’m using is (A or B) <-> not( (not A) and (not B)).
Edit: I was wrong for a different reason.