Читайте также:
|
|
Алфавит: обозначения квантовых чисел, обозначения координат, обозначения волновых функций, обозначения операторов физических величин
Правила образования: законы и уравнения квантовой механики,
Правила вывода: экспериментальная проверка на непротиворечивость
Логические функции
ab | ||||
α4 | ||||
α3 | ||||
α2 | ||||
α1 |
C1 = ab
C2 = a(1-b)
C3 = (1-a)b
C4 = (1-a)(1-b)
= ab + (1-a)(1-b) = ab + 1 – b – a + ab = 2ab – a – b + 1
= a(1-b) + (1-a)b = a – ab + b – ab = a + b – 2ab
= ab + (1-a)b + (1-a)(1-b) = ab + b – ab + 1 – b – a + ab = ab – a + 1
Полином
u = 1 = 1*1*1 = [a + (1-a)]*[b + (1-b)]*[c + (1-c)] = [ab + a(1-b)+(1-a)b + (1-a)(1-b)]*[c + (1-c)] =
= abc + ab(1-c) + a(1-b)c + a(1-b)(1-c) + (1-a)bc + (1-a)b(1-c) + (1-a)(1-b)c + (1-a)(1-b)(1-c)
C1 = abc
C2 = ab(1-c)
C3 = a(1-b)c
C4 = a(1-b)(1-c)
C5 = (1-a)bc
C6 = (1-a)b(1-c)
C7 = (1-a)(1-b)c
C8 = (1-a)(1-b)(1-c)
Задание №4
1) Z – рекурсивная диаграмма
Дата добавления: 2014-12-15; просмотров: 36 | Поможем написать вашу работу | Нарушение авторских прав |