Изграждане на маса истина за решенията, които включват повече от две променливи, тя е построена в съответствие с определени правила.
Да предположим, че е необходимо да се изгради една маса истина за следните предложенията: (а → (B
C)).За да се определи броя на редовете в таблицата с истината използвате следната формула: 2 3 = 8 реда, където 2 - логично постоянни, тъй като всяко предложение може да бъде или вярно или невярно, не трета до две-ценен логика.
Алгоритъмът за разпределение и стойности за променливи и е както следва:
- в колоната за първи запис 4 пъти "I" и 4 пъти "L";
- в колоната да пишат на първите 2 пъти "I" и 2x "L", а след това се повтаря;
- в колоната за C алтернативно, като се започне със стойност "I" алтернативни стойности.
Пример таблици за сложни решения (А → (B
C)).Заповедта за изпълнение на действия в тази таблица е същият, както в областта на математиката: първо, операциите се извършват в скоби, а след това между скобите. В зависимост от разпределението на стойностите "истинска" и "фалшиви" в колоната резултат в логиката са три вида формули: а) работеща формула е - този, който в получения колоната може да получи най-малко една стойност е "истинска"; б) идентично фалшива формула - който съответно приема само стойност "фалшива"; в) идентично-вярно (или логически практика) формула - един, че в колоната за резултат само приема стойност от "истинска". Получената колоната е истината, която съответства на последния да изпълнява в действие нея.
Упражнение 11
С прости предложения: a- "Аз работя в офиса," ь "Аз обичам моята професия" в "Аз съм студент в университета в" направи изявление, съответстваща на следните формули:
В решаването на този проблем е необходимо да се вземе предвид, че
- Терминът логика - знак отрицание.Пример:
бв - Аз работя в офиса, и аз обичам моята професия и уча в университета.Упражнение 12
Определете дали данните са идентично формула - истински (или логически закони).
Пример: (a∩b)
(B∩a) -Е логичен закон(A∩b)
(B∩a)За да продължите с изтеглянето, което трябва да се съберат на снимка:
Свързани статии