ПОСТРОЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ
Построение таблицы истинности для суждений, в которые входят более двух переменных, строится по определенным правилам. Пусть вам необходимо построить таблицу истинности для следующего суждения: (А → (В С)). Для определения количества строк в таблице истинности воспользуемся следующей формулой: 23 = 8 строк, где 2 –– логическая константа, так как любое суждение может быть либо истинным, либо ложным, третьего в двухзначной логике не дано. Алгоритм распределения значений И и Л для переменных таков: – в столбце для А сначала пишем 4 раза «И» и 4 раза «Л»; – в столбце для В сначала пишем 2 раза «И» и 2 раза «Л», затем повторяем; – в столбце для С поочередно, начиная со значения «И» чередуем значения.
Пример таблицы для сложного суждения (А → (В С)).
Порядок выполнения действий в данной таблице такой же, как
|