Двузначна логика


Да се докаже, че x Ú (x Ù y) = x



страница6/7
Дата11.01.2024
Размер138 Kb.
#119899
ТипЗакон
1   2   3   4   5   6   7
dvuznachna-logika
Свързани:
Въпроси, Офшорния бизнес - Бахрейн, СТРАТЕГИЧЕСКИ ПЛАН (1), 2 глава, Kursovi raboti po Upravlensko schetovodstvo (1), planirane-na-prodajbite Ardes, 1, казÑ Ñ Corel, MARTIN, 6.1-10, СЕМЕСТРИАЛЕН КАЗУС по Данъчна политика, Цени и ценова политика, SSRN-id2924003, D LLMSDOCS COURSES 40866 FILES 198638 ТЕМА СЕДМА ОСМА И ДЕВЕТА, Въпроси рецензия
Да се докаже, че x Ú (x Ù y) = x .
Ще решим задачата и по двата описани по-горе начина.
I вариант - преобразувание
x Ú ( x Ù y ) = ( x Ù 1 ) Ú ( x Ù y ) = x Ù ( 1 Ú y ) = x Ù 1 = x
Най-напред прилагаме св-во 3) и представяме x като x Ù 1. После прилагаме св-во 8) в обратна посока ( изнасяме пред скобите x Ù) , след това заменяме 1 Ú y с 1 (според св-во 3) ) и пак по св. 3 получаваме от x Ù 1 само х.
II вариант - таблица

x

y

x Ù y

x Ú (x Ù y)

0

0

0

0

0

1

0

0

1

0

0

1

1

1

1

1

Явно стойностите в първата и последната колони съвпадат, следователно доказано е равенството x Ú ( x Ù y ) = x .


Закони на де Морган
Август де Морган (1806 - 1871) е английски математик, работил в областта на символичните изчисления в логиката. Неговото име носят два важни закона, даващи връзка между логическото отрицание, логическото ,,и" и логическото ,,или".


Сподели с приятели:
1   2   3   4   5   6   7




©obuch.info 2024
отнасят до администрацията

    Начална страница