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

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

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

.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, т.е. и одновременно существовать не могут.

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

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

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

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

Преобразователь двоичного кода
Логические элементы (узлы) предназначены для выполнения различных логических (функциональных) операций над дискретными сигналами при двоичном коде их предст ...

Программное обеспечение для предварительных испытаний манипулятора грунтозаборного комплекса космического аппарата Фобос-грунт
Важным этапом отработки агрегатов и устройств КА является процесс их испытаний. Современные испытания немыслимы без автоматизации испытаний, наряду с исполь ...

Модернизация сети широкополосного доступа оператора связи ООО ТомГейт
Информационные методы все шире внедряются во все сферы деятельности. Информатизация, конвергенция компьютерных и телекоммуникационных технологий, переход к ...