Сколько решений имеет уравнение (ав)↔(ас) = а(а→с), где а, в, с – логические переменные?

Два решения
110
111
см. приложения
Лист Excel "живой", можно вставить свои функции.
Лист защищен без пароля, чтобы случайно не повредить формулы.
Формулы отображаются в строке формул.