"lvalemi" - 1 õppematerjal

SML kordamisküsimustele vastused.

tõeväärtustest. Pole oluline lause sisu vaid tõeväärtus. Valem. Valemi tõeväärtus. Tõeväärtustabel. Def 1. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil 1) Iga lausemuutuja on lausearvutuse valem. 2) Kui F on lausearvutuse valem, siis ka ¬F on Lvalem 1. 3) Kui F ja G on Lvalemid, siis ka (F&G), (FG), (FG) ja (FG) on Lvalemid. Def 2. Lvalemi F tõeväärtus etteantud väärtustusel leitakse järgmiste reeglite abil. 1) Kui F= ¬G, siis F=1 parajasti siis, kui G=0 2) Kui F=G&H, siis F=1 parajasti siis, kui F=1 ja G=1 3) Kui F=GH, siis F=1 parajasti siis, kui F=1 või G=1 4) Kui F=GH, siis F=1 parajasti siis, kui F=0 või G=1 5) Kui F=GH, siis F=1 parajasti siis, kui F=1 ja G=1 või F=0 ja G=0 1 Lühend. L tähendab ,,Lausearvutus" (-e)