При любых A, B и C данное выражение истинно.
Объяснение:Для начала упростим эквивалентность и импликацию.
Экивалентность (≡) раскрывается вот так:
x ≡ y = x ∧ y ∨ -x ∧ -yПрименим к нашим данным:
A ∧ B ≡ B ∧ C = (A ∧ B ∧ B ∧ C) ∨ ( -(A ∧ B) ∧ -(B ∧ C) ) =
Первая скобка упрощается по закону повторения (B ∧ B = B), а вторая скобка, а точнее отрицание раскрывается по закону де Моргана:
= (A ∧ B ∧ C) ∨ ( -A ∨ -B ∧ -B ∨ -C) =
По закону исключения третьего (A ∨ -A = 1) упрощаем запись:
= 1
На самом деле я здесь очень сильно упростил запись. На самом деле нам не помешало бы раскрыть данную дизъюнкцию, "перемножив" A на -A, A на -B, A на -C, B на -A и так далее. Но в итоге данная запись сократится в единицу.
Теперь рассмотрим импликацию (⇒):
(x ⇒ y) = -x ∧ yПрименим к нашим данным:
(-C ⇒ A) = -(-C) ∧ A =
По закону двойного отрицания (-(-C) = C):
C ∧ A
Итого наш пример принял такой вид:
1 ∨ C ∧ A
Данное выражение всегда истинно, поскольку дизъюнкция истинна в том случае, когда одно из выражений истинно, а в нашем случае левая часть (единица), то есть дизъюнкция вседа истинна.
Для данной сортировки используем алгоритм сортировки слиянием
В начале разбиваем арбузы на 2 группы по 2Каждую группу взвешиваем и сортируем (т.е. всего 2 взвешивания)Теперь собираем вместе, сравниваем сначала более легкие арбузы и находим самый легкий (всего 3 взвешивания)Теперь сравниваем тяжелый арбуз, что в группе с самым легким и более легкий из другой группы, и определяем второй по легкости (всего 4 взвешивания)Потом взвешиваем оставшиеся арбузы и докладываем их по порядку (всего 5 взвешивания)