On Tue, Nov 25, 2003 at 12:25:18PM +0100, Alfredo Braunstein wrote: > > I guess the (!a && !b) -> !(a || b) transmformation only holds if a > > and b are independant. That is not the case here. > > C'mon! this holds in every case (modulo drunkness ;-).
Captain deMorgan's Law ? Note: I am very proud of this pun. john -- Khendon's Law: If the same point is made twice by the same person, the thread is over.
