Operatory logiczne.

Wyrażeń logicznych używa się w instrukcjach warunkowych i pętlach. Szczególnie kiedy chcesz sprawdzić czy są spełnione co najmniej dwa warunki jednocześnie:

Prawa matematyczne w informatyce.

Tabelka powyżej przypomina bardzo matematykę logiczną. Dzięki metodom logiki matematycznej możemy łatwo sprawdzić czy jakieś zdanie jest prawdziwe, czy fałszywe. W celu zaprogramowania bardziej złożonych sytuacji, skorzystano z praw koniunkcji, alternatywy i Negacji. Brzmią one tak:

> Koniunkcja dwóch zdań p∧q jest prawdziwa, gdy prawdziwe są oba tworzące je zdania.
> Alternatywa dwóch zdań p∨q jest prawdziwa wtedy, gdy przynajmniej jedno ze zdań p lub q jest prawdziwe.
> Negacja, czyli zaprzeczenie (zaprzeczeniem prawdy jest fałsz, a zaprzeczeniem fałszu jest prawda).

Koniunkcja w programowaniu - ORAZ / &&.

To prawo stosuje się bardzo często w programowaniu, kiedy twórca programu chce, aby zdarzyło się coś wtedy i tylko wtedy, gdy jednocześnie spełnione są co najmniej dwa warunki.
Najlepszym życiowym przykładem wykorzystania logicznego ORAZ, jest logowanie. Będzie prawdziwe wtedy i tylko wtedy, gdy oba czynniki będą prawdziwe - login oraz hasło. Jeśli którekolwiek z wyrażeń będzie błędne, całe logowanie również. Przykładowy zapis:

(login && hasło)
(login and hasło)


Alternatywa w programowaniu - LUB / ||.

To prawo stosuje się, gdy istnieją co najmniej dwa warunki do spełnienia ale wystarczy, że chociaż jedno z tych wyrażeń jest prawdziwe.
Jako przykład możemy przytoczyć aplikację edukacyjną, w której użytkownik przechodzi do kolejnego etapu jeśli zdobędzie odpowiednią ilość punktów lub zaliczy test sprawdzający dający promocję do kolejnych etapów. Przykładowy zapis:

(punkty || poziom)
(punkty or poziom)


Negacja w programowaniu - ZAPRZECZENIE / !.

Zdarza się, że warunek pętli lub wyrażenia warunkowego musi zostać zapisane zaprzeczenie. Wyobraźmy sobie sytuację, że użytkownik ma podać liczbę od 1 - 10. Można zapytać czy podana liczba nie należy do tego przedziału liczbowego:

(!(a >= 1 && a <= 10 ))

Gdy wpiszemy np. liczbę 0, ten warunek będzie spełniony, bo nie prawdą jest, że 0 mieści się w zakładanym przedziale liczbowym.
Można tą sytuację zobrazować przy pomocy prostej tabeli:

Można też wyjaśnić zapisy w tabeli wyżej dwoma przykładami:

wyrażenie a jest fałszywe tylko wtedy, gdy wyrażenie !a jest prawdziwe.
Wyrażenie a jest prawdziwe tylko wtedy, gdy wyrażenie !a jest fałszywe.

Można też powiedzieć, że jeden z zapisów tej samej zmiennej zwróci fałsz a drugi prawdę lub odwrotnie.