Алгебра высказываний
Обозначения высказываний
x, p, q, r,... - высказывания,
p = 1 - p - истинное высказывание,
p = 0 - p - ложное высказывание,
- отрицание высказывания p.
Обозначения логических операций
Операция
| Обозначение
| Другие обозначения
| Дизъюнкция ("или" неразделительное) Конъюнкция ("и одновременно") Отрицание Импликация ("влечет" или "если..., то...") Эквиваленция ("равносильно")
|
|
|
Определения логических операций
p
|
| 0 1
| 1 0
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | Поиск по сайту:
|