IOM 2018, Блиц, руски — Задача 6

ОЛИМПИАДА МЕГАПОЛИСОВ. Москва, 3 сентября 2018

Условие

Сколько наборов значений логических переменных (A,B,C,D)(A, B, C, D) дают истинное значение следующего выражения?

B(A+C‾D)+A+B‾C+D(AC‾+B)‾B(A+\overline{C}D)+\overline{A+\overline{B}C+D(A\overline{C}+B)}

Решение

Внимание: Непълно решение

В архива няма официално решение на тази задача.

Оригинал в Архива: blitz-ru.pdf