Дана система логических уравнений. Определите, сколько существует различных наборов переменных A, B, C и D, при которых выполняется условие истинности системы.
Примечание: ∧ - операция коньюнкции, ∨ - логическая дизъюнкция, → - импликация, ← - обратная импликация, XOR – исключающее или, 1 – истина. Операция обратной импликации эквивалентна операции (А∨not B).