Консультация № 172997
07.10.2009, 07:47
25.00 руб.
07.10.2009, 08:58
0 1 1
Здравствуйте уважаемые эксперты

Составьте таблицу истинности булевой функции, реализованную данной формулой. Составьте по таблице истинности СДНФ и СКНФ:

Обсуждение

Неизвестный
07.10.2009, 09:14
общий
это ответ
Здравствуйте, Евгений Викторович.
Составляем таблицу истинности из всех возможных комбинаций x, y, z.
Заполняем таблицу истинности, соответственно операциям, которые входят в Вашу формулу, зная, что:
1) Конъюнкция истинна, тогда и только тогда,когда оба высказывания истинны
2) Дизъюнкция ложна тогда и только тогда, когда оба ложны
3) Импликация ложна тогда, когда первое истинно, а второе ложно.
4) Эквиваленция истинна, когда оба высказывания принимают одинаковые значения истинности
5) Сложение по модулю ложно, когда высказывания принимают одинаковые значения истинности
6) Штрих Шеффера принимает ложное значение, когда оба истинны
7) Стрелка Пирса принимает истинное значение, когда оба ложны
8) Отрицание - высказывание, противоположное данному, истинное, если данное ложно и наоборот

Алгоритм получения СДНФ по таблице истинности
Отметить те строки ТИ, в последнем столбце которых стоят 1:
Выписать для каждой отмеченной строки конъюнкцию всех переменных следующим образом: если значение некоторой переменной в данной строке =1, то в конъюнкцию включают саму эту переменную, если =0, то ее отрицание:
Все полученные конъюнкции связать в дизъюнкцию:
Алгоритм получения СКНФ по таблице истинности
Отметить те строки ТИ, в последнем столбце которых стоят 0:
Выписать для каждой отмеченной строки дизъюнкцию всех переменных следующим образом: если значение некоторой переменной в данной строке =0, то в дизъюнкцию включают саму эту переменную, если =1, то ее отрицание:
Все полученные дизъюнкции связать в конъюнкцию:
Прикрепленные файлы:
5
Форма ответа