Бесплатные калькуляторы

Примеры запросов: процентыипотекаплощадь✓ 1 013 работающих калькуляторов

МАТЕМАТИЧЕСКАЯ ЛОГИКА · ОНЛАЙН

Совпали ли вердикты двух проверяющих

При двойной проверке два независимых специалиста выносят вердикт «да» или «нет». Часто важно не то, какой он, а то, совпал ли он у обоих. Логическая связка, которая истинна именно при совпадении значений, называется эквиваленцией и записывается A ⇔ B. Введите вердикты как 1 или 0, и калькулятор покажет, согласованы ли они.

✓ Бесплатно⌁ С пояснением✦ Без регистрации
▦
КАЛЬКУЛЯТОР

Введите данные

1 — одобрено (да), 0 — отклонено (нет).
1 — одобрено (да), 0 — отклонено (нет).
✓ Исходные значения передаются серверу только для выполнения расчёта. Регистрация не нужна.
ВАШ РЕЗУЛЬТАТ✓ Вычислено

Булева логика

Результат (1 — истина)0

«Копировать картинку» помещает изображение результата в буфер обмена без сохранения файла — его можно сразу вставить в мессенджер или документ. Картинка и PDF содержат ссылку на calc-calc.ru.

Классическая двузначная логика. Никаких неопределённых состояний или трёхзначной логики.

Был ли калькулятор полезен?Одно касание — и мы поймём, какие инструменты улучшать.
ПОДРОБНЫЙ РАЗБОР · ФОРМУЛЫ И ПРИМЕРЫ

Совпали ли вердикты двух проверяющих: логика эквиваленции

Двойная проверка встречается в бухгалтерии, при проверке работ, в контроле качества и в любых процессах, где два человека независимо отвечают «да» или «нет». Часто первичный вопрос такой: сошлись ли они. Ответ даёт логическая эквиваленция, которая на языке булевой алгебры записывается как A ⇔ B.

Калькулятор принимает два вердикта в виде 1 и 0 и выдаёт 1, если они одинаковы. Дальше разобрано, как читать результат и почему совпадение не означает успех проверки.

Четыре возможных исхода

У двух двоичных вердиктов всего четыре сочетания. Оба одобрили (1 и 1), оба отклонили (0 и 0), первый одобрил при отказе второго (1 и 0) и наоборот (0 и 1). Эквиваленция даёт 1 в первых двух случаях и 0 в последних двух.

Эта таблица и есть определение связки. Её удобно держать в голове: пары с одинаковыми значениями дают истину, пары с разными — ложь.

Запись через конъюнкцию и дизъюнкцию

Эквиваленцию можно выразить через более простые связки: A ⇔ B = (A ∧ B) ∨ (¬A ∧ ¬B). Она истинна, если оба вердикта положительные, либо оба отрицательные. Другой способ записи: ¬(A ⊕ B), то есть отрицание исключающего «или».

Эти записи равносильны, и все дают одинаковые значения на четырёх парах. Выбор определяется удобством: первая запись лучше читается в тексте инструкции, вторая короче в схеме.

Что значит совпадение, а что — нет

Результат 1 говорит лишь о согласованности. Если оба проверяющих отклонили документ, эквиваленция тоже равна 1, но проверку документ не прошёл. Поэтому для решения о приёме нужно смотреть не только на совпадение, но и на сам вердикт.

Результат 0 означает разногласие. В регламентах двойной проверки его принято разрешать третьим мнением либо повторной независимой проверкой, прежде чем принимать решение.

Связь с исключающим «или»

Исключающее «или» A ⊕ B равно 1, когда вердикты различаются. Поэтому для любой пары значений (A ⇔ B) + (A ⊕ B) = 1. Если известен результат одной связки, вторая находится вычитанием из единицы.

На практике это позволяет формулировать правило эскалации прямо: «если A ⊕ B = 1, передать на третью проверку». Тот же факт проверяется и калькулятором эквиваленции, но с противоположным знаком.

Пример из практики проверки

Допустим, две проверяющие независимо оценили 10 работ. По восьми работам вердикты совпали, по двум разошлись. Эквиваленция даёт 1 для восьми работ и 0 для двух, то есть доля совпадений составляет 8/10 = 80 %. Две спорные работы передают третьему проверяющему.

Такой подсчёт грубый: часть совпадений случайна, ведь даже при угадывании с вероятностью 1/2 вердикты совпадают в половине случаев. Поэтому по доле совпадений нельзя судить о качестве проверки без учёта этого фона.

Ограничения двоичной модели

Модель двузначна: каждый вердикт сводится к «да» или «нет», промежуточных оценок нет. Если проверяющие ставят баллы, сначала выберите порог, по которому балл превращается в 1 или 0, и применяйте его одинаково к обоим.

Совпадение вердиктов не гарантирует правоты: оба проверяющих могут одинаково ошибиться, например опираясь на одно и то же неточное правило. Показатели согласованности вроде коэффициента каппа Коэна относятся к другому методу и здесь не вычисляются.

Формула расчёта

ОСНОВНАЯ ФОРМУЛА

A ⇔ B = 1, если A = B, иначе 0

Проверенные примеры

Оба одобрили

Первый проверяющий поставил 1, второй тоже 1. Согласованы ли они?

1 ⇔ 1 = 1: вердикты совпали.

Оба отклонили

Оба поставили 0. Совпали ли решения?

0 ⇔ 0 = 1: совпадение есть, хотя вердикт отрицательный.

Разногласие

Первый поставил 1, второй 0.

1 ⇔ 0 = 0: вердикты разошлись, нужна дополнительная проверка.

Как пользоваться онлайн-калькулятором

  1. Для первого проверяющего впишите 1, если он одобрил, и 0, если отклонил.
  2. То же сделайте для второго проверяющего.
  3. Нажмите «Вычислить»: результат 1 означает, что вердикты совпали, а 0 — что они разошлись.
  4. Разошедшиеся вердикты отправляйте на повторную проверку или к третьему специалисту.
ВОПРОСЫ И ОТВЕТЫ

Частые вопросы

Совпадение вердиктов означает, что проверка прошла успешно?

Нет. Совпадение показывает только согласованность. Если оба проверяющих отклонили заявку, вердикты совпали, но результат проверки отрицательный.

Чем эквиваленция отличается от исключающего «или»?

Они противоположны. Исключающее «или» истинно, когда значения различаются, а эквиваленция — когда совпадают. Сумма их результатов для любой пары всегда равна 1.

Можно ли ввести значения, отличные от 0 и 1?

Нет. Поля принимают только 0 и 1, потому что логика здесь двузначная. Многоуровневые оценки сначала сведите к «да» или «нет» по заранее выбранному порогу.

Похожие калькуляторы

▦МАТЕМАТИЧЕСКАЯ ЛОГИКА

Исключающее ИЛИ (XOR)

Исключающее ИЛИ (XOR): Исключающее или показывает отличие двух логических состояний и становится ложным при их совпадении. обнаружение несовпадения двух флагов и вычисление бита чётности. Укажите значения и получите вычисление с контрольными примерами.

▦МАТЕМАТИЧЕСКАЯ ЛОГИКА

Логическая импликация A ⇒ B

Логическая импликация A ⇒ B: Материальная импликация ложна лишь тогда, когда из истинной предпосылки следует ложное заключение. проверка формальных правил вида «если условие A, то требование B». Укажите значения и получите вычисление с контрольными примерами.

ПОДЕЛИТЬСЯ ИНСТРУМЕНТОМ

Встроить на свой сайт

Вставьте этот код в HTML-блок на своём сайте. Посетители смогут пользоваться калькулятором без перехода.

Прямая ссылка: https://calc-calc.ru/embed/calc_010233/

Предварительный просмотр