Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Формальная система

Читайте также:
  1. ERP — информационная система масштаба предприятия
  2. I Операционная система ОС Unix
  3. I Операционная система ОС Unix
  4. I Операционная система ОС Unix
  5. I. Система социального регулирования общественных отношений.
  6. I. Система социального регулирования общественных отношений.
  7. II. Общество как социальная система, её основные системные признаки
  8. II. Система культуры и её структура.
  9. III. Систематизація і доповнення знань
  10. Internet и система права.

Алфавит: обозначения квантовых чисел, обозначения координат, обозначения волновых функций, обозначения операторов физических величин

Правила образования: законы и уравнения квантовой механики,

Правила вывода: экспериментальная проверка на непротиворечивость

Логические функции

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 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.007 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав