Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лабор_раб_ №2.doc
Скачиваний:
7
Добавлен:
25.11.2019
Размер:
272.38 Кб
Скачать
    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 ¬ y) ¬ (x  ¬y« z)

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

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

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

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

f5(x,y,z) = (x « y z(x « 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)  (y x  z)

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

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

Вариант №19

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

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

f2(x,y,z) = (x « y | z x  y z)  ¬( x y)  x z  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. Для исходного и конечного выражений, приведенных в пункте 19.1, построить таблицы истинности.

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

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

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

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

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

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

Вариант №20

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