Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Контакти
 


Тлумачний словник
Авто
Автоматизація
Архітектура
Астрономія
Аудит
Біологія
Будівництво
Бухгалтерія
Винахідництво
Виробництво
Військова справа
Генетика
Географія
Геологія
Господарство
Держава
Дім
Екологія
Економетрика
Економіка
Електроніка
Журналістика та ЗМІ
Зв'язок
Іноземні мови
Інформатика
Історія
Комп'ютери
Креслення
Кулінарія
Культура
Лексикологія
Література
Логіка
Маркетинг
Математика
Машинобудування
Медицина
Менеджмент
Метали і Зварювання
Механіка
Мистецтво
Музика
Населення
Освіта
Охорона безпеки життя
Охорона Праці
Педагогіка
Політика
Право
Програмування
Промисловість
Психологія
Радіо
Регилия
Соціологія
Спорт
Стандартизація
Технології
Торгівля
Туризм
Фізика
Фізіологія
Філософія
Фінанси
Хімія
Юриспунденкция






Формули логіки булевих функцій

Визначення 4.1.2. Формула логіки булевих функцій визначається індуктивно в такий спосіб:

1. Будь-яка змінна, а також константи 0 й 1 є формула.

2. Якщо A й B – формули, то ØA, AVB, A&B, A É B, A ~ B є формули.

3. Ніщо, крім зазначеного в пунктах 1-2, не є формула.

Приклад 4.1.

Вираз (ØxVy)&((y É z) ~ x) є формулою. Вираз Øx&y É z Ø ~x не є формулою. Частина формули, що сама є формулою, називається підформулою.

Приклад 4.2.

x&(y Éz) – формула; y Éz – її підформула.

Визначення 4.1.3. Функція f є суперпозиція функцій f1, f2, ... , fn якщо f виходить за допомогою підстановок цих формул одна в одну і перейменуванням змінних.

Приклад 4.3.

f1 = x1&x2 (кон’юнкція); f2 = Øx (заперечення).

Можливі дві суперпозиції:

1) f = f1(f2) = (Øx1)&(Øx2)– кон’юнкція заперечень;

2) f = f2(f1) = Ø(x1&x2) – заперечення кон’юнкцї.

Порядок підстановки задається формулою.

Усяка формула задає спосіб обчислення функції, якщо відомі значення змінних.

Приклад 4.4.

Побудуємо таблицю значень функції f(x1, x2, x3) = Ø(x2 Øx3) ~ (Øx1Vx2).

Таблиця 4.4 представляє послідовне обчислення цієї функції.

Таблиця 4.4

x1 x2 x3 Øx3 x2 Øx3 Ø(x2 Øx3) Øx1 Øx1Vx2 f(x1, x2, x3)
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1

 

Таким чином, формула кожному набору аргументів ставить у відповідність значення функції. Отже, формула так само, як і таблиця, може служити способом Задача функції. Надалі формулу будемо ототожнювати з функцією, що вона реалізує. Послідовність обчислень функції задається дужками. Прийнято угоду про опускання дужок у відповідності з наступною пріоритетністю операцій: Ø, &, V, É і ~.

 


Читайте також:

  1. Аденогіпофіз, його гормони, механізм впливу, прояви гіпер- та гіпофункцій.
  2. Аутентифікація з використанням односторонніх функцій
  3. Безпосереднє обчислення з використанням формули Ньютона-Лейбніца.
  4. Вага системи функцій
  5. Важкість праці: Динамічні, статичні навантаження. Напруженість праці. Увага, напруженість аналізаторних функцій, емоційна та інтелектуальна напруженість, монотонність праці.
  6. Введення формули в комірку.
  7. Виведення формул для знаходження площі паралелограма, трикутника, трапеції. Формули для знаходження площ поверхонь просторових геометричних фігур.
  8. Вивчення господарсько-ботанічних сортів та оцінка якості цибулевих і гарбузових овочів
  9. Видалення елемента формули.
  10. Види договорів і контрактів. Розподіл функцій учасників проекту
  11. Види функцій державного управління
  12. Види функцій державного управління




Переглядів: 674

<== попередня сторінка | наступна сторінка ==>
Визначення булевої функції | Рівносильні перетворення формул

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

 

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.005 сек.