При складанні таблиці істинності для логічного вираження необхідно враховувати порядок виконання логічних операцій, а саме:
- дії у дужках,
- інверсія (заперечення),
- & (кон'юнкція),
- v (диз'юнкція),
- => (імплікація),
- <=>(еквівалентність).
Таблиця істинності – таблиця, Яка показує, які значення прийме складовий вираз при всіх можливих наборах значень простих виразів, що входять до нього. Рівносильними називаються логічні вирази, останні стовпці таблиць істинності яких збігаються. Рівносильність позначається за допомогою знака "".
Для вирішення логічної завдання методом таблиць істинності необхідно:
- «розібрати» завдання на прості висловлювання та позначити їх;
- записати завдання мовою алгебри логіки;
- скласти таблицю істинності;
- зробити висновок.
Apr 1, 2020