Рефераты | Рефераты по информатике, программированию | Исчисление высказываний |
T |
T |
|
|
F |
F |
F |
По этой таблице хорошо видно, что в исчислении высказываний используется именно включающее Ú. Поскольку всё выражение истинно когда только p - истинно, либо только q - истинно, либо и p и q - оба истинны.
В таблице 5.3. приведены таблицы истиности для всех операций исчисления высказываний.
Таблица 5.3.
Таблица истиности для а) - отрицания, б) - коньюнкции,
в) - импликации, г) - эквивалентности.
|
a) |
б) |
в) |
г) |
||||
|
p |
Øр |
pq |
pÙq |
pq |
pÞq |
pq |
pÛq |
|
T |
F |
TT Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу. Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата Поделитесь этой записью или добавьте в закладкиКатегории: |
