1. Построить БДД по талице или семантическому дереву

1. Построить БДД по талице или семантическому дереву

1.1. f(z,y,x)= (0 0 1 1 0 1 1 1)

1.2.

2. Построить БДД для формулы

2.1. (х1 v x2) & (x3 v x4) & (x5 v x6) порядок переменных [x1,x2,x3,x4,x5,x6]

Ответ:

2.2. x1 & (x2 v x3)

2.3. (x v у v z) & (x v у v z) & (x v у)

2.4. Построить БДД для функции от N переменных, которая принимает значение 1 на наборах с четным количеством единиц. N= 3,4,5.

3. Проверить эквивалентность формул

3.1.

3.2. (x v y) и (x & y)

Дата добавления: 2015-10-21