Użytkownik "mvoicem" <m...@g...com> napisał w wiadomości grup
dyskusyjnych:4e1d7597$0$2496$6...@n...neostrada
.pl...

> Jeżeliby chcieli mieć równoważność, to by zapisali "wtedy i tylko wtedy"
> zamiast "jeżeli".
>
> Ale nawet jeżeli, to niczego to nie zmienia. Warunek "Opłata jest
> pobierana wtedy i tylko wtedy gdy użytkownik nie wydaje kartą lub
> użytkownik nie ma włączonej usługi".
>
> Nadal w przypadkach kiedy zrobił 100zł kartą ale nie ma włączonej usługi,
> lub kiedy ma włączoną usługę ale nie zrobił 100zł kartą, warunek "nie
> wydaje kartą lub użytkownik nie ma włączonej usługi" jest prawdziwy, więc
> opłata jest pobierana (wg. tego zapisu).

Poprawna struktura tego zdania to: p <--> ~(q \/ r)

p - pobieranie opłaty
q - wydaje 100 zł
r - ma włączoną usługę

lub struktury równoważne

Ty najwyraźniej rozważasz strukturę: p <--> (~q \/ ~r)

która nie jest równoważna (prawo de Morgana). Równoważna byłaby z koniunkcją
w nawiasie.