logic derviation

visit shbcf.ru