Специальная математика. Соловьев А.Е. - 21 стр.

Истинность может принимать два значения
           истинно      ложно
              и           л
            true         false
              t            f
но самые популярные обозначения
1            0
которые не следует путать с числами двоичной арифметики.

                       2.1.1. Операции над высказываниями

1.Дизъюнкция (логическое “или”, “логическое сложение”). Наиболее популярные
обозначения:  и +.
2. Конъюнкция (логическое “и”          “логическое умножение”). Наиболее популярные
обозначения: ,  и &.
3. Отрицание (логическое “не”). Наиболее популярные обозначения:  и  .
4. Импликация (логическое “если ... , то”, “влечет”) .
5. Эквивалентность (логическое “если и только если”) .
6. Неравнозначность (или “сумма по модулю 2”, или “исключающее или”) .
7. Штрих Шеффера (логическое “и-не”) |.
8. Стрелка Пирса (логическое “или-не”) .




Операции сведены в таблицу:

A    B           Ā                |    
0    0   0    0    1   1      1   0   1     1
0    1   1    0    1   1      0   1   1     0
1    0   1    0    0   0      0   1   1     0
1    1   1    1    0   1      1   0   0     0


Соглашение о старшинстве некоторых операций (по силе связывания):
, &, , , .




              2.1.2. Построение и анализ сложных высказываний

В качестве примера возьмем отрывок из Шолом-Алейхема (заимствованный, однако, у Д.А.
Поспелова).
“... - Вот, что. Если вы хотите остаться у нас, если вы хотите, чтобы мы стали друзьями.
      - Если вы не хотите, чтобы вам пришлось уезжать отсюда, то
      - Забросьте книги под стол. Будем играть в шашки, в 66 или будем валяться на кровати
и плевать в потолок...”



                                           — 21 —