понедельник, 28 марта 2011 г.

Паскаль Логика. Логические операции

Сегодня разберем что такое логика и какие операции существуют. В паскале, переменные логического типа описываются зарезервированным словом Boolean. Значение логического типа может принимать  False(Ложь) = 0 и True(Истина) = 1.
Логическое умножение (Конъюнкция)
Образованное в результате логического умножения (конъюнкции) истинно тогда, когда истины все входящие в него высказывания.  And - логическое  <И>.

A
B
T = A and B
0
0
0
1
0
0
0
1
0
1
1
1

То есть просто умножаем (1 * 0 = 0, 1 * 1 = 1, и т.д.) не забываем что 0 = False а 1 = True.
Логическое умножением означает не только And но и еще ^, &, *.

Логическое сложение (Дизъюнкция)
Образованно в результате логического сложения (дизъюнкции) истинно тогда или только когда, когда истинно хотя бы одно из входящих в него высказываний. Or (||, +, |,  ) - логическое <Или>.

A
B
T = A Or B
0
0
0
0
1
1
1
0
1
1
1
1

 Можно просто прибавлять (0 + 0 = 0, 1 + 0 = 1, и т.д.).

Логическое отрицание (Инверсия)
Присоединяется частица "НЕ (Not)". Логическое отрицание делает истинное высказывание ложным, а ложное истинно, то есть наоборот... 

A
T = Not A
1
0
0
1

Логическое следование (Импликация)
Ложно тогда или только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание) “Если A, то B

A
B
T = A -) B
0
0
1
1
0
0
0
1
1
1
1
1


1 комментарий:

Сделай автору приятно - оставь комментарий!