відповідь:
одним из главных достижений, предоставляемых средствами системы является то, что cds/isis способен манипулировать неограниченным количеством баз данных, каждая из которых может состоять из различных элементов данных. пользователь cds/isis является таким образом свободным от дорогостоящей разработки и написания компьютерных программ каждый раз, когда новый проект требует использования техники поиска информации. хотя некоторые возможности cds/isis требуют знаний и опыта работы с компьютеризованными системами, система может быть использована лицами, имеющими малый или никакого компьютерного опыта.
это руководство описывает функции программного обеспечения cds/isis и состоит из учебных частей, которые обучат вас как заводить бд, какие операции вы можете выполнять над имеющейся бд, а также содержит раздел ссылок, которые вы можете использовать во время работы с программами.
для опытных пользователей, имеющих отношение, к компьютерным профессионалам, cds/isis предлагает интегрированное программное средство, позволяющее осуществлять разработку специальных приложений и/или функциональное расширение базовых возможностей системы. средства программирования описаны в руководстве cds/isis паскаль, издаваемое отдельно.
если вы в данный момент используете программы версии 1.0, вы должны внимательно просмотреть раздел этого; руководства "обзор системы", и, частично раздел "системные и технические требования", который описывает процедуры установки и обеспечивает в преобразовании бд, построенных с версии 1.0 для использования в версии 2.3. главные новации, введенные в версию 2.3 суммированы ниже:
відповідь:
решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.
при составлении таблицы истинности для логического выражения необходимо учитывать порядок выполнения логических операций, а именно:
действия в скобках,
инверсия (отрицание),
& (конъюнкция),
v (дизъюнкция),
=> (импликация),
< => (эквивалентность).
алгоритм составления таблицы истинности:
1. выяснить количество строк в таблице (вычисляется как 2n, где n – количество переменных + строка заголовков столбцов).
2. выяснить количество столбцов (вычисляется как количество переменных + количество логических операций).
3. установить последовательность выполнения логических операций.
4. построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
5. заполнить таблицу истинности по столбцам.
6. записать ответ.
пример 6
построим таблицу истинности для выражения f=(avb)& (¬av¬b).
1. количество строк=22 (2 переменных+строка заголовков столбцов)=5.
2. количество столбцов=2 логические переменные (а, в)+ 5 логических операций (v,& ,¬,v,¬) = 7.
