Как работает алгоритм логического поиска на основе кругов Эйлера?

Алгоритм логического поиска на основе кругов Эйлера заключается в использовании геометрических схем, которые помогают изобразить отношения между подмножествами (понятиями) и наглядно представить логические связи. www.shkolazhizni.ru www.baby.ru

Принцип формирования диаграмм: spravochnick.ru

1. Часть круга с именем А изображает истинность высказывания А. spravochnick.ru
2. Круг А в теории множеств обозначает все компоненты, которые входят в это множество. spravochnick.ru
3. Зона вне круга отображает значение «ложно» для данного высказывания. spravochnick.ru

Чтобы понять, какая часть диаграммы будет отображением логической операции, нужно заштриховать только те области, в которых значения логической операции на наборах A и B равны «истина». infourok.ru spravochnick.ru

Например, значение импликации равно «истина» в трёх случаях (00, 01 и 11). infourok.ru spravochnick.ru Нужно последовательно заштриховать: spravochnick.ru

1. Зону, расположенную вне двух пересекающихся кругов, соответствующую значениям А=0, В=0. spravochnick.ru
2. Зону, которая принадлежит лишь кругу В (в форме полумесяца), соответствующую значениям А=0, В=1. spravochnick.ru
3. Зону, которая относится к обоим кругам, то есть пересечение А и В, соответствующую значениям А=1, В=1. spravochnick.ru

Объединение этих трёх областей и будет графическим представлением логической операции импликации. infourok.ru

Круги Эйлера помогают находить ответы с помощью наглядных логических цепочек и используются во многих областях, от математики до менеджмента. www.baby.ru