Найдите все интерпретации, в которых указанные формулы принимают одинаковые истинностные значения: 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
Читать далее

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

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

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

Читать далее

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

минимизация булевых функций от пяти переменных. метод Карт Вейча
[ Скачать с сервера (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

Читать далее

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

 

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

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

Решение:

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

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

Читать далее