Laused on seega: S ∨ ¬P ning ¬P → ¬S S P ¬S ¬P S ∨ ¬P ¬P → ¬S 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 Liitlausete tõeväärtused ei lange kokku, seega pole laused ekvivalentsed.
Laused on seega: ¬M → ¬L ning M xor ¬L M L ¬M ¬L ¬M → ¬L M xor ¬L 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 Liitlausete tõeväärtused ei lange kokku, seega pole laused ekvivalentsed.
Laused on ekvivalentsed, kui (1) nad järelduvad vastastikku teineteisest: p ↔ q = (p → q) & (q → p) (2) nad on samaaegselt tõesed või samaaegselt väärad: p ↔ q = (p & q) ∨ (¬p & ¬q)
Laused on ekvivalentsed, kui nende tõeväärtused langevad kokku (tabeli kaks viimast veergu mõlema lause kohta on samade tõeväärtusnumbritega). Reeglid: õ 287
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.
Ukraina kaitse vajab abi. Tee annetus täna!
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
annaabi.ee 
