Читайте также:
|
|
1. вспомним следующие определения:
o Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ, в которой нет одинаковых элементарных конъюнкций, и все конъюнкции состоят из одного и того же набора переменных, в который каждая переменная входит только один раз (возможно с отрицанием).
o Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ, в которой нет одинаковых элементарных дизъюнкций, и все дизъюнкции состоят из одного и того же набора переменных, в который каждая переменная входит только один раз (возможно с отрицанием).
2. Для решения задачи воспользуемся алгоритмом получения СДНФ по таблице истинности:
2.1. Отметим те строки таблицы истинности, в последнем столбце которых стоят 1:
В | А | С | F (В, А, С) |
1* | |||
1* | |||
1* |
2.2. выпишем для каждой отмеченной строки конъюнкцию всех переменных следующим образом: если значение некоторой переменной в данной строке равно 1, то в конъюнкцию включать саму эту переменную, если равно 0, то ее отрицание.
2.3. все полученные конъюнкции свяжем в дизъюнкцию: = = = =
полученная структурная формула имеет вид:
3.1. Для решения данной задачи можно также применить алгоритм и СКНФ.
3.2. все полученные выражения связать операцией конъюнкции.
C. В соответствии с полученной формулой составим функциональную схему необходимого устройства.
Схема соединения логических элементов, реализующих логическую функцию, называется функциональной схемой.
6. Логика в информатике. Применение информационных и компьютерных моделей для решения логических содержательных задач. Методика изложения данной темы в курсе «Информатика и ИКТ» общеобразовательных учреждений. Примеры
Дата добавления: 2015-07-10; просмотров: 337 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Информации | | | Улица, мама, большее их четырёх элементов |