> (Podatnik *nie* korzystał) *lub* (jego małżonek *nie* korzystał*),
> a jeszcze dokładniej:
> (podatnik *nie* (korzysta *lub* korzystał)) **lub* (jego małżonek
> *nie* (korzysta *lub* korzystał))
> :)

hmmm...

chyba cos nie do konca tak bo wychodzi z tego ze moze skorzystac:
> (podatnik *nie* (korzysta *lub* korzystał)) **lub* (jego małżonek
> *nie* (korzysta *lub* korzystał))

czyli (!(0 lub 1) lub !(0 lub 0)) = (!1 lub !0) = (0 lub 1) = 1

chyba powinno byc:

nie((podatnik korzysta lub korzystal) lub (malzonek korzysta lub korzystal))

czyli !((0 lub 1) lub (0 lub 0)) = !(1 lub 0) = !1 = 0

pozdrawiam