Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Упражнение 1. Построим истинностную таблицу сложного высказывания:
|
|
Построим истинностную таблицу сложного высказывания:
Очевидно, истинностная таблица будет содержать 
строк. Скобки применяются, если нарушаются естественный порядок операций: отрицание, конъюнкция, дизъюнкция, импликация, двойная импликация. Скобки (А®В) указывают на то, что сначала нужно выполнить импликацию, затем найти (А®В)Ù С. Скобки в выражении 
можно опустить. Заключительной операцией в построении истинностной таблицы для S будет дизъюнкция двух высказываний: (А®В)Ù С и .
Таблица 6
| А | В | С | А®В | (А®В)Ù С | 
| 
| 
| |
Итак, формула S задает высказывание которое истинно на следующих наборах значений элементарных высказываний:
| А=1 | В=1 | С=1 | (все три элементарных высказывания истинны) |
| А=1 | В=0 | С=1 | (А, С - истинны, В - ложно) |
| А=0 | В=1 | С=1 | (А - ложно, В и С - истинны) |
| А=0 | В=1 | С=0 | (В - истинно, А и С - ложны) |
| А=0 | В=0 | С=1 | (С - истинно, А и В - ложно) |
| А=0 | В=0 | С=0 | (все три высказывания ложны). |