Теоретичні відомості. Метою роботи є експериментальне дослідження таблиць істинності логікових елементів та засвоєння основних та похідних логікових функцій

Мета роботи.

Метою роботи є експериментальне дослідження таблиць істинності логікових елементів та засвоєння основних та похідних логікових функцій, умовних позначень логікових елементів.

Теоретичні відомості.

Існує три основні операції між логіковими змінними:

1. диз 'юнкція (логічне додавання, ЧИ):

y = х₁ v х₀ = х₁ + х₀:

2. кон 'юнкція (логічне множення, І):

y = х_{1 ^} х₀ = х₁ • х₀;

3. інверсія (логічне заперечення, НЕ):

у = ,

а також похідні від них, які настільки часто зустрічаються в цифровій техніці, що їм дали власні назви:

4. стрілка Пірса (ЧИ-НЕ):

5. штрих Шефера (І-НЕ):

особливий інтерес для практики становлять також функції:

6. сума за модулем 2 (нерівнозначність або функція незбігу):

7. інверсія суми за модулем 2 (рівнозначність або функція збігу):

Якщо логікові операції прийнято зображати у вигляді формул, ^ логікові елементи - графічно у вигляді схем. Умовне графічне позначення логікових елементів прийнято зображати прямокутником, у якого лінії ліворуч - входи аргументів, праворуч - вихідна функція. Тип логікової операції задається спеціальною позначкою:

■ інверсія — кружком на вході чи виході,

■ диз'юнкція — 1,

■ кон'юнкція — &,

тощо.