Ақпаратты өңдеу форматтары

m:=0;

x:=A[i]; A[i]:=A[i+1]; A[i+1]:=x; {элементтерді орындарымен алмастырамыз}

m:=i; {және алмастыру орнын есте сақтаймыз}

end;

k:=m-1; {қос элементтер саны соңғы алмастыру орына тәуелді}

Пікірлер логикасы математикалық логиканың ең қарапайым бөлімі. Мұнда құрмалас сөйлемдердің құрылысын зерттейді. Бұл тараудың негізгі элементі – жай сөйлем. Лепті және сұраулы сөйлем пікір бола алмайды. Мысалы, 1. Астана Қазақстанның астанасы. 2. Бес екіге бөлінбейді. 3. Алма жақсы оқиды.

Бұл мысалдардың мағнасы әр түрлі, бірақ олардың мағыналарының қандай екендігі пікірлер алгебрасы үшін қажет емес. Пікірлер алгебрасында әрбір сөйлемді ақиқат және жалған тұрғысынан қарастырамыз. Р логикалық пікіріне х айнымалыны қоятын болсақ, ол екі мән қабылдайды: 0 – “жалған”, 1- “ақиқат”

А пікірін алайық осы пікірге қарама-қарсы жалған пікір (белгіленуі) болады.

Ақиқат кестесінде пікрілердің қабылдайтын мәндерін қарастырып көрейік.