Решаването на логически задачи е занимателна и възнаграждаваща дейност. Нейната особеност е, че първоначално има само невярно и вярно твърдение и никакви формули. Нека разгледаме няколко основни метода на решение, които имат своя собствена област на ефективност.
Инструкции
Етап 1
Методът на разсъждения - най-ясният - се основава на последователни разсъждения (произтичащи от състоянието на проблема) и тяхната проверка за истина или неверност, а всички следващи твърдения се основават на проверения оригинал.
Например. Възрастта на майката и дъщерята е общо 98 години. Дъщерята се роди, когато майка ми беше на 22 години. На колко години са и двете? Решение: тъй като разликата във възрастта им е 22 години (на тази възраст майката е имала дъщеря), тогава 98 - 22 = 76 (години). Това е два пъти по-голяма от възрастта на дъщерята, тогава 76: 2 = 38 (години). Това означава, че майките са 98 - 38 = 60 (години).
Стъпка 2
Методът на таблиците е визуален метод, който предполага изграждане на таблица според условията на проблемите с думи и последователно запълване с числа 0 или 1, в зависимост от получените заключения (false-true).
Например. Има 8-литров съд, пълен с вода.
Как да излея 4 литра, ако има празни контейнери с обем 3 и 5 литра? Решение:
Стъпка 3
Методът на блокови диаграми е приложим за решаване на проблеми относно контейнери и тежести и е много по-удобен от метода за изброяване на опции (което не ни позволява да изведем общи правила). Първо се формират команди (идентични на извършените операции) и след това се изгражда тяхната схематична последователност. Това е добре познатата схема на програмиране, водеща до решението на проблема. Логичното продължение на този метод е методът на компютърно асистирано решение. Същността на което, при прехвърлянето на получения алгоритъм към езика за програмиране.
Стъпка 4
Методът на алгебричното решение включва решаване на системи от логически уравнения. Всички твърдения, произтичащи от състоянието на проблема, получават обозначения с букви и се пишат под формата на формули. Решавайки системата от получените уравнения (умножавайки едно по друго), се извежда истинското твърдение.
Стъпка 5
Възможен е и графичен начин за решаване на системата. За това се изготвя диаграма на логическите връзки („дърво на логическите условия“) въз основа на получените уравнения на системата. Нещо повече, логическата сума предполага разклоняване, а продукт означава следните условия едно след друго. Решението идва от анализа. Това включва и метода на кръговете на Ойлер - изграждането на геометрична схема, която отразява пресичането или обединението на множества.
Стъпка 6
Не по-малко интересен е билярдният метод, основан на теорията на траекториите.
За подробното му разглеждане обаче ще е необходима отделна, много забавна статия.
