Studopediya

КАТЕГОРИИ:


Зарежда се ...

Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Военное дело- (14632) Высокие технологии- (1363) География- (913) Геология- (1438) Государство- (451) Демография- (1065) Дом- (47672) Журналистика и СМИ- (912) Изобретательство- (14524) Иностранные языки- (4268) Информатика- (17799) Искусство- (1338) История- (13644) Компьютеры- (11121) Косметика- (55) Кулинария- (373) Культура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968) Машиностроение- (1700) Медицина- (12668) Менеджмент- (24684) Механика- (15423) Науковедение- (506) Образование- (11852) Охрана труда- (3308) Педагогика- (5571) П Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военно дело (14632) Висока технологиите (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къщи- (47672) журналистика и SMI- (912) Izobretatelstvo- (14524) на външните >(4268) Informatika- (17799) Iskusstvo- (1338) История- (13644) Компютри- (11121) Kosmetika- (55) Kulinariya- (373) култура (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23,702) Matematika- (16,968) инженерно (1700) медицина-(12,668) Management- (24,684) Mehanika- (15423) Naukovedenie- (506) образование-(11,852) защита truda- (3308) Pedagogika- (5571) п Политика- (7869) Право- (5454) Приборостроение- (1369) Программирование- (2801) Производство- (97182) Промышленность- (8706) Психология- (18388) Религия- (3217) Связь- (10668) Сельское хозяйство- (299) Социология- (6455) Спорт- (42831) Строительство- (4793) Торговля- (5050) Транспорт- (2929) Туризм- (1568) Физика- (3942) Философия- (17015) Финансы- (26596) Химия- (22929) Экология- (12095) Экономика- (9961) Электроника- (8441) Электротехника- (4623) Энергетика- (12629) Юриспруденция- (1492) Ядерная техника- (1748) oligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97182) от промишлеността (8706) Psihologiya- (18,388) Religiya- (3217) с комуникацията (10668) Agriculture- (299) Sotsiologiya- (6455) спортно-(42,831) Изграждане, (4793) Torgovlya- (5050) превозът (2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596 ) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Telephones- (8441) Elektrotehnika- (4623) Мощност инженерно (12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Еквивалентно булева формула




Еквивалентността на формулите ще бъде означен със символа º, след влизането означава, че формула А и В са еквивалентни.

Еквивалентно формула:

,

xÚxºx,

(Xu) Úyºy.

Тавтология, или идентично вярно, е формула, която отнема стойност 1 за всички стойности на своите член-променливи.

Идентично истинските формули:

Xu,

Хе (xÉy).

Идентично невярно е формула, която стойност 0 за всички стойности на своите член-променливи.

Идентично невярна формула: X ф.

има следната зависимост между понятията за еквивалентност и еквивалентност: ако формула А и В са еквивалентни формула А 'B - тавтология, и обратно, ако формула А' B - тавтология формула А и В са еквивалентни.

Критична равностойност на алгебра на логиката могат да бъдат разделени в три групи:

основния еквивалентност;

еквивалентност експресиращи един логически операции чрез друга;

равностойност на изразяване на основните закони на алгебрата на логиката.

Използване на описанието, дадено еквивалентност, може да бъде част от формула или формула напълно да го замени еквивалентна на претенциите. Тези формули се наричат ​​трансформират еквивалент.

Еквивалентни трансформации са използвани за доказване на еквивалентността, за управление на формули, дадени форма за опростяване на формули.

Формула А се счита за еквивалентна на лесно формула В, ако той съдържа по-малко символи малки логически операции. Когато тази операция обикновено се заменя с отражение и равностойност разделяне и заедно, и отрицание се отнасят до елементарните изказвания.

Ключови равностойност

Еквивалентността експресиращи един логически операции чрез други

От тази група еквивалентност следва, че всяка формула на булевата еквивалент може да бъде заменен с формула и включващ само две логически операции: а заедно с или дизюнкция и отрицание и отрицание.

Допълнителни изключение логически операции невъзможно. Така че, ако ние използваме само заедно, тя има такава формула, като отрицание на х, не може да се изрази чрез операция за връзка.

Все пак, има операции, с които могат да бъдат изразени във всяка от петте операции логически, които използваме. Подобна операция е, например, операцията Barcode Шефър. Тази операция се означава с | и определя по следната истина таблица:

х ш х | ш

От тези две равностойност следва, че всяка булева формула могат да бъдат заменени от еквивалентни формула, съдържаща само операция Barcode Schaeffer.





; Дата на добавяне: 03.01.2014; ; Отзиви: 172; Нарушаването на авторски права? ;


Ние ценим Вашето мнение! Беше ли полезна публикува материал? Да | не



ТЪРСЕНЕ:


Вижте също:



zdes-stroika.ru - Studopediya (2013 - 2017) на година. Не е авторът на материала, и предоставя на студентите възможност за безплатно обучение и употреба! Най-новото допълнение IP: 66.249.93.205
Page генерирана за: 0.007 сек.