IFI6057ex8

Allikas: Lambda
Redaktsioon seisuga 21. november 2016, kell 12:51 kasutajalt PriitJ (arutelu | kaastöö) (Uus lehekülg: 'Kasuta solverit http://logictools.org Hoiatus: vali lahendusmeetodiks ''resolution'' või ''truth table'', ''dpll'' võib olla bugine == Soojendus == Leia kõik väärtustused...')
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti

Kasuta solverit http://logictools.org

Hoiatus: vali lahendusmeetodiks resolution või truth table, dpll võib olla bugine

Soojendus

Leia kõik väärtustused mil (A v B) & ~A on tõene

Tõestus

Tõesta DeMorgani seadus ühes suunas

~(A & B) -> ~A v ~B

Teadmusbaas

tulekul ...

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=IFI6057ex8&oldid=13437"