"konjugeerime" - 1 õppematerjal

Loogika konspekt 1-5

1011 1 0 1 1 1 0 0 1010 1 0 1 0 0 0 0 1001 1 1 1 1 1 1 1 1000 1 1 1 0 0 0 1 Kõigepealt arvutame abisuurused, siis leiame implikatsioonide väärtused, teostame konjunktsiooni kahe esimese vahel ning tulemusega konjugeerime lõpuks veel kolmanda implikatsiooni tõeväärtuse. Vaid ühel juhul on liitlause tõene. Selllest on näha, et Mike tuleb aktsioonile ning Sam ja Peter ei tule. Sama ülesande lahendus teisendusreeglite abil: (S P) & (¬S M) & (A ¬P) = (¬S P) & (S M) & (¬A ¬P) = ¬S & S & ¬A ¬S & S & ¬P ¬S & M & ¬A ¬S & M & ¬P P & S & ¬A P & S & ¬P P & M & ¬A P & M & ¬P = ¬S & M & ¬P