Эквиваленция — различия между версиями
(начало) |
м |
||
| Строка 1: | Строка 1: | ||
'''Эквиваленция (Эквивалентность)''' — [[логическая функция]], реализующая логическое равенство (тождество) — '''… РАВНО …'''. | '''Эквиваленция (Эквивалентность)''' — [[логическая функция]], реализующая логическое равенство (тождество) — '''… РАВНО …'''. | ||
| − | Эквиваленция является истинной тогда и только тогда, когда оба аргумента имеют одинаковую | + | Эквиваленция является истинной тогда и только тогда, когда оба аргумента имеют одинаковую истинность. |
| − | |||
== Обозначения == | == Обозначения == | ||
''' x<sub>1</sub>''' — 1-ый аргумент функции; | ''' x<sub>1</sub>''' — 1-ый аргумент функции; | ||
| Строка 9: | Строка 8: | ||
'''x<sub>1</sub>↔x<sub>2</sub>''' — функция эквиваленция. | '''x<sub>1</sub>↔x<sub>2</sub>''' — функция эквиваленция. | ||
| − | |||
== [[Таблица истинности]] == | == [[Таблица истинности]] == | ||
[[Файл:ТИ27.png]] | [[Файл:ТИ27.png]] | ||
| − | |||
== Эквиваленции == | == Эквиваленции == | ||
[[Файл:ЭК27.png]] | [[Файл:ЭК27.png]] | ||
| − | |||
== [[Логическая функция|Другие функции:]] == | == [[Логическая функция|Другие функции:]] == | ||
{{Список ЛФун}} | {{Список ЛФун}} | ||
| − | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]][[Категория:Функции]] | |
| − | [[Категория:Дискретная математика]][[Категория:Логика]][[Категория:Функции]] | ||
Текущая версия на 07:49, 21 октября 2024
Эквиваленция (Эквивалентность) — логическая функция, реализующая логическое равенство (тождество) — … РАВНО ….
Эквиваленция является истинной тогда и только тогда, когда оба аргумента имеют одинаковую истинность.
Обозначения
x1 — 1-ый аргумент функции;
x2 — 2-ой аргумент функции;
x1↔x2 — функция эквиваленция.
Таблица истинности
Эквиваленции
