Typy logiczne

Typy logiczne, w programowaniu reprezentują wartości logiczne
true (prawda) lub false (fałsz).

Rodzaje typów logicznych

W Pascalu wyróżniamy 4 rodzaje typu logicznego:

• Boolean – o rozmiarze jednego bajta
• ByteBool – również o rozmiarze jednego bajta
• WordBool – o rozmiarze 2 bajtów
• LongBool – o rozmiarze 4 bajtów

Przypisywanie wartości

Do przypisywania wartości typom logicznym służą słowa kluczowe true i false. Możliwe jest także przypisanie warunku logicznego (wartości będzie wtedy wynik testu).

a := true
b := false;
c := 10 > 1; // c bedzie rowne true, gdyz 10 jest wieksze od 1;

Warto wspomnieć, że wartości true i false to nic innego jak liczby. Typ boolean jako prawdę traktuję liczbę 1, a jako fałsz liczbę 0. Pozostałe typy jako wartość prawdziwą traktują liczby różne od 0. Możemy się o tym przekonać pisząc prosty program wykorzystujący rzutowanie: (przykład dla longbool, dla reszty typów podobnie)

var
    a : longbool;
    b : longint;

begin
    b := 123;
    a := longbool(b);
    WriteLn(a); //a zwroci true
    b := 0;
    a := longbool(b);
    WriteLn(a); //a zwroci false
end.