circuit satisfiability problem

welcome to shbcf.ru