Статьи

Таблиця істинності

  1. Таблиці істинності для основних довічних логічних функцій [ правити | правити код ]
  2. Таблиці істинності для деяких потрійних логічних функцій [ правити | правити код ]

Матеріал з Вікіпедії - вільної енциклопедії

Поточна версія сторінки поки не перевіряв досвідченими учасниками і може значно відрізнятися від версії , Перевіреної 7 жовтня 2016 року; перевірки вимагають 17 правок . Поточна версія сторінки поки не перевіряв досвідченими учасниками і може значно відрізнятися від версії , Перевіреної 7 жовтня 2016 року; перевірки вимагають 17 правок .

Таблиця істинності - це таблиця, що описує логічну функцію.

Під «логічною функцією» в даному випадку розуміється функція, у якій значення змінних (параметрів функції) і значення самої функції виражають логічну істинність. Наприклад, в двозначній логіці вони можуть набувати значень «істина» або «брехня» (t r u e {\ displaystyle true} Під «логічною функцією» в даному випадку розуміється функція, у якій значення змінних (параметрів функції) і значення самої функції виражають логічну істинність або f a l s e {\ displaystyle false} , 1 {\ displaystyle 1} або 0 {\ displaystyle 0} ).

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

Таблиці істинності для основних довічних логічних функцій [ правити | правити код ]

У програмуванні:

Таблиці істинності для деяких потрійних логічних функцій [ правити | правити код ]

x 2 1 0 2 1 0 2 1 0 y 2 2 2 1 1 1 0 0 0 min (x, y) 2 1 0 1 1 0 0 0 0 x 2 1 0 2 1 0 2 1 0 y 2 2 2 1 1 1 0 0 0 max (x, y) 2 2 2 2 1 1 2 1 0 x 2 1 0 2 1 0 2 1 0 y 2 2 2 1 1 1 0 0 0 F2TN22310 0 0 0 0 2 2 0 2 1

  • Яблонський С. В., Гаврилов Г. П., Кудрявцев В. Б. Функції алгебри логіки і класи Посту. - М.: Наука, 1966. - (Математична логіка і підстави математики).

Новости