оличество переменных;
7. Выписать наборы входных переменных с учетом того, что они представляют собой целый ряд n-разрядных двоичных чисел от 0 до 2n -1.
8. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.
Приступаем к построению таблицы истинности для формулы
A / (B / B / C)
Далее следуем по алгоритму.
Подсчитаем число переменных в логическом выражении. В данном случае у нас 3 переменные: А, В, С.
Подсчитаем общее количество логических операций: 5 (два отрицания, две конъюнкции и одна дизъюнкция).
Последовательность операций будет такая: отрицание, отрицание, конъюнкция, из-за того, что стоят скобки, мы выполним далее дизъюнкцию и затем еще одну конъюнкцию.
Количество логических переменных 3 (А, В, С), следовательно, количество столбцов – 3 5 8.
Количество строк в таблице истинности всегда равно 2ⁿ, где n – количество переменных. В нашем случае количество логических переменных 3, следовательно, количество строк равно 23 8 (плюс одна строчка для шапки, итого девять).
Далее заполняем шапку таблицы.
Заполняем наборы входных переменных в соответствии с алгоритмом-помощником:
- Разделим первую колонку пополам, заполняем четыре строчки «0», четыре - «1».
- Разделим вторую колонку на четыре, заполняем по две строчки «0» и «1», начиная с нулей.
- Заполняем оставшийся столбец, чередуя нули и единицы, начиная с нуля.
8. Заполняем таблицу в соответствии с установленной последовательностью:
Первая операция B, вторая – C. Заполняем столбцы согласно определению отрицания. Заполняем следующий столбец –
B / С. Далее решаем столбец B / B / C. Последний столбец – A / (B / B / C).
В итоге получаем следующую запи
Страницы: << < 2 | 3 | 4 | 5 | 6 > >>