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

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

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

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

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

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

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

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

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

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

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

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

Вариант №4

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

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

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

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

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

    1. Для исходного и конечного выражений, приведенных в пункте 4.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. Для исходного и конечного выражений, приведенных в пункте 4.3, построить таблицы истинности.

Вариант №5

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

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

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

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

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

    1. Для исходного и конечного выражений, приведенных в пункте 5.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 « x))

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

Вариант №6