Задача на нахождение ДНФ, КНФ, СДНФ, СКНф, полином Жегалкина

 

[ Скачать с сервера (163.5Kb) ]
С помощью эквивалентных преобразований приведите
формулу к ДНФ, КНФ, СДНФ, СКНФ, полином Жегалкина

⌐((z→x)↔(y│x));

Решение:

Приведем формулу ⌐((z→x)↔(y│x)) к ДНФ (дизъюнктивной нормальной
форме), то есть получим дизъюнкцию конъюнкций: ⌐((z→x)↔(y│x))

Избавимся от эквиваленции, используя

Читать далее

Метод Карт Вейча. Минимизация булевых функций от пяти переменных.

минимизация булевых функций от пяти переменных. метод Карт Вейча
[ Скачать с сервера (145.5Kb) ] 24.01.2012, 18:11

Записать формулу функции f(x1х2,х3,х4,х5) в виде СДНФ и минимизировать методом карт Вейча.
x1 x2  x3  x4  x5    f(x1х2,х3,х4,х5)
0    0    0    0    0

Читать далее

Задача на минимизацию булевых функций от трех переменных

задача на минимизацию булевых функций от трех переменных
[ Скачать с сервера (152.5Kb) ] 24.01.2012, 18:12

е задание.
Записать формулу функции f(x1,x2,x3)  и минимизировать ее
графическим методом,
методом неопределенных коэффициентов,
методом минимизирующих карт Карно,
методом Квайна.
Для метода неопределенных коэффициентов

Читать далее

Найдите все интерпретации, в которых указанные формулы принимают одинаковые истинностные значения: P <-->R & ┐Q; (R↓Q)—>P

26.01.2012, 18:13

найдите все интерпретации, в которых указанные формулы принимают одинаковые истинностные значения:
P <—>R & ┐Q,  (R↓Q)—>P

Решение:
так как переменных три , то количество наборов будет 2^n=2^3=8

Построим таблицу истинности для трех переменных:

 P  R Q
┐Q
R&┐Q
Читать далее