Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лабор_раб_ №2.doc
Скачиваний:
11
Добавлен:
25.11.2019
Размер:
272 Кб
Скачать
☆
    1. Воспользовавшись формулами 1-16 и правилами приоритетности логических операций упростить выражения:

f1(x,y,z) = ¬  x  ¬ y  z)  (x  z)) ¬  x  y ¬z)  (y x  ¬z))

f2(x,y,z) = (x « y | z xz  y)  (x  y¬z(x  z x z)  (x y))

f3(x,y,z) = ¬ (x  y  z¬ x  z ¬y)  ¬ x ¬ y) ¬ (x y¬z))

f4(x,y,z) =  x  yz)  (z «x))   x  z )  (¬y x)  x  z)  x y) (x z)

    1. Для исходного и конечного выражений, приведенных в пункте 15.1, построить таблицы истинности.

    1. Создать равносильную формулу с использованием всего одной операции – штрих Шеффера и построить таблицу истинности для следующих функций:

f5(x,y,z) = ¬ (x  y z« ¬  x  y)  (y «z)) x  z «y))

f6(x,y,z) = ( x  y) « (¬ x z)) ¬  x z ¬ y) (x y z)

f7(x,y,z) = ¬ (x  y z)¬ x y)«  x « ¬z)  ¬ (x y))

f8(x,y,z) = (x  yz) ¬ x  y)  (¬ z x)) ¬ (y «x)  (¬ y «z))

    1. Для исходного и конечного выражений, приведенных в пункте 15.3, построить таблицы истинности.

Вариант №16

    1. Воспользовавшись формулами 1-16 и правилами приоритетности логических операций упростить выражения:

f1(x,y,z) = ¬  x « y z)  (x  z))  x  y ¬z)  (y x) z)

f2(x,y,z) = (x « y | z x  z y)  ¬ (x  y z(x  z x  z)  (x  y))

f3(x,y,z) = (x « y  z¬ x « z ¬y)   x ¬ y) (x  y) ¬z)

f4(x,y,z) = ¬ x z  y)  (z «x))   x  z )  (y «x)  x  z)  x y) (x z)

    1. Для исходного и конечного выражений, приведенных в пункте 16.1, построить таблицы истинности.

    1. Создать равносильную формулу с использованием всего одной операции – штрих Шеффера и построить таблицу истинности для следующих функций:

f5(x,y,z) = (x  y ¬z¬  x  z « y)  (y z)) ¬x  z y))

f6(x,y,z) = ¬ ( x ¬ y z)  (x z)) ¬  x ¬z ¬ y) (x y ¬z)

f7(x,y,z) = (x  y¬z)¬ x ¬ y)«  x  z)  (x y))

f8(x,y,z) = (x  yz) x  y  z)  (z ¬x))(y  zx)  (¬y «z))

    1. Для исходного и конечного выражений, приведенных в пункте 16.3, построить таблицы истинности.

Вариант №17

    1. Воспользовавшись формулами 1-16 и правилами приоритетности логических операций упростить выражения:

f1(x,y,z) = ¬ (x y « z)  x  z  y) « (x « y ¬z))  ¬ (y «x  z)

f2(x,y,z) =  x  y ¬ z) « (z x  y)) « ¬ x « z¬ y) ¬ (x y « ¬z)

f3(x,y,z) = ¬ (x « z y¬ x  z¬ y)  (y x)

f4(x,y,z) = ¬ x  y ¬« z)  (y x))  x  y)  (z  y))

    1. Для исходного и конечного выражений, приведенных в пункте 17.1, построить таблицы истинности.

    1. Создать равносильную формулу с использованием всего одной операции – штрих Шеффера и построить таблицу истинности для следующих функций:

f5(x,y,z) = ¬ (x « y ¬z¬ (x « z ¬x  z «y)

f6(x,y,z) = ¬ x « y)  (z y)) ¬ ¬ x ¬z ¬ y) (x y «¬z)

f7(x,y,z) = ¬ (x  ¬y«¬z)¬ x «¬ y z)

f8(x,y,z) = (x  y¬z) ¬ x z « y)  (y x)) (¬y x)

    1. Для исходного и конечного выражений, приведенных в пункте 17.3, построить таблицы истинности.

Вариант №18