Метод цепей и сечений

Цепь , урезанная на контакте, равна .

Цепь , урезанная на контакте, равна .

.1) Сечение существует при подаче входных переменных a1=1, b2=0, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существовать не могут.

.2) Сечение существует при подаче входных переменных a1=1, b2=0, а цепь, урезанная на контакте , существует при c1=1, т.е. и одновременно существуют на наборе .

.3) Сечение существует при подаче входных переменных a1=1, c2=1, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существуют на наборе .

.4) Сечение существует при подаче входных переменных a1=1, c2=1, а цепь, урезанная на контакте , существует при c1=1, т.е. и одновременно существуют на наборе

Таким образом, проверяющая функция имеет вид:

3) Определим проверяющую функцию для контакта .

Контакт входит в цепь и сечения . Сечение, урезанное на контакте , равно .

.1)Цепь существует при подаче входных переменных =1, =0, а сечение - при =0 и , т.е. цепь и сечение одновременно существовать не могут.

Таким образом, проверяющая функция не существует

) Определим проверяющую функцию для контакта .

Контакт входит в цепь и сечения . Цепь, урезанная на контакте , равна .

.1) Сечение существует при подаче входных переменных b1=0, b2=0, с1 =0, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существовать не могут.

Следовательно, проверяющая функция не существует.

) Определим проверяющую функцию для контакта :

Контакт входит в цепь и сечения . Сечения, урезанные на контакте , равны .

Интересное из раздела

Проект трассы волоконно-оптической линии связи между г. Елец и г. Липецк
В настоящее время развития цифровых технологий и построения сетей NGN, где основу предоставления услуг определяют сети широкополосного доступа, объемы перед ...

Амплитудная модуляция
Исследование различных видов модуляции необходимо для определения требуемых свойств каналов, сокращения избыточности модулированных сигналов и улучшения исп ...

Моделирование элементов и систем управления
Управляемый объект состоит их четырех типовых динамических звеньев, соединенных между собой в определенной последовательности с образованием двух замкнутых контуров (рису ...