Основы логики Определение истинности составных высказываний Алгоритм

Основы логики Определение истинности составных высказываний

Алгоритм построения таблицы истинности: 1. подсчитать количество переменных n в логическом выражении; 2. определить число строк в таблице m, которое равно m=2 n; 3. подсчитать количество логических операций k в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций (n+k);

Алгоритм построения таблицы истинности: 4. ввести название столбцов таблицы в соответствии с последовательностью выполнения логических операций с учётом скобок и приоритетов; 5. заполнить столбцы входных переменных наборами значений; 6. провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной в п. 4 последовательностью.

Наборы входных переменных рекомендуется перечислять следующим образом: 1. разделить колонку значений первой переменной пополам и заполнить верхнюю часть нулями, а нижнюю единицами; 2. разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами нулей и единиц, начиная с группы нулей; 3. продолжать деление колонок значений последующих переменных на 8, 16 и так далее частей и заполнение их группами нулей и единиц до тех пор, пока группы нулей и единиц не будут состоять из одного символа.

Для формулы А В А построить таблицу истинности. Кол-во переменных – 2 Кол-во строк в таблице – 22=4 К-во операций - 3 Кол-во столбцов – 2+3=5 А В А F 0 0 1 0 0 0 1 1 1 0 0 1

Построить таблицу истинности для формулы (А В) (В А) Алгоритм выполнения: 1. Расставим порядок выполнения операций 2. Подсчитаем количество строк и столбцов таблицы 3. Заполним верхнюю строку и начальные данные А 1 1 0 0 В 1 0 А В 1 0 1 1 В А (А В) (В А) 1 1 1 0 0 0 1 1

Построение таблицы истинности для сложного высказывания: (A Ā ) Ā. (A ) A А В 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1

Для формулы построить таблицу истинности. А В С 0 0 0 1 1 F 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0