Таблични комплекс истинността на твърденията, платформа съдържание
Приоритет логически операции
1) инверсия 2) съюзът 3) дизюнкция 4) отражение и еквивалентност
Как да създадете таблица истина?
По дефиниция, таблицата с истината на логическата формула изразява кореспонденция между всички възможни набори от стойности и стойностите на променливите на формулата.
За формула, която съдържа две променливи, такива набори от стойности във всички четири променливи:
Ако формулата включва три променливи, възможните комплекта стойности на променливите осем (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0 ), (1, 0, 1), (1, 1, 0), (1, 1, 1).
Броят на комплекти за формулата с четири променливи е шестнайсет, и така нататък. Г.
Удобна форма на запис, когато стойността на формулата е таблица, съдържащо стойностите на променливите, различни от стойностите и формулите са също междинни стойности и формули.
1. образуват маса истина за формула, която се състои от две променливи х и у. В първите две колони на таблицата напиши четири възможни двойки стойности на тези променливи в следващите колони - междинни стойности и формули в последната колона - стойността на формулата. В резултат на това, ние получаваме следната таблица:
Таблицата показва, че с формула в някои случаи, е на стойност 1, а в някои - 0. т.е. възможно.
Боб попита майка ми: "Можете да отидете на кино или футбол," Мама каза не. Как момчето?
Проверка на коректността на закона, като маса за истина.
Класът се оказа счупено стъкло. Учителят обяснява, Режисьор: Ник направи или Саша. Но Саша е направил това, за да, т. За. Този път ми даде кредит. Вследствие на това го е направил Кол.
Решение: Ние формализира трудна задача.
По - направих Kohl
С - направих Саша
Максимален прости изречения п = 2.
1) Определяне на броя на редовете и колоните на таблицата за истина.
. Тъй като всяка от простите отчети може да се само две стойности (0 или 1) броя на различните комбинации от стойности на п изказвания - 2 п.
Броят на редовете в таблицата = 2n + линия на заглавието.
Броят колони в таблицата е сумата на количества прости изречения (п) и броя на различните логически операции, включени в една сложна изявление.
В този пример: броя на редовете - 1 = 22 + 5
колона - 2 + 4 = 6
2) Draw маса и попълване на заглавката
Първият ред - номера на колоната.
Вторият ред на междинното съединение с формула и съответните операции условно запис на стойностите.
В нашия пример, първото пълнене на 1-ви и 2-ри колони.
В съответствие с таблиците на истината съответните логически операции, при което по време на пълнене на всяка колона операции се извършват на стойностите на една или две колони, разположени отляво на пълнежа.
Така че, се изчислят стойностите на третата колона от стойностите на 2-ри, а след това стойността на 4-ти - в съответствие със стойностите на 1-ви и 2-ри ...