Sprawdzanie zdań logicznych beta
Sprawdzanie, czy wyrażenie klasycznego rachunku zdań jest tautologią przy pomocy metody zero-jedynkowej.
Wyrażenie do sprawdzenia należy wpisać w pole poniżej.
Zmienne zdaniowe należy wpisywać w nawiasach sześciennych (np. "{p}" "{q}"), koniunkcję jako "i", alternatywę jako "lub", negację jako "nie", równoważność jako "<->", implikację jako "=>", zdanie prawdziwe jako "1", a zdanie fałszywe jako "0".
Przykładowe zdanie logiczne w akceptowalnym formacie to ({p} i nie {p}) lub {q} (czyli (p∧¬p)∨q).
Na podstawie wpisanego zdania zostanie przedstawiona tabelka ze wszystkimi możliwymi kombinacjami zmiennych zdaniowych, obliczonymi wartościami logicznymi dla wszystkich kombinacji oraz podsumowaniem czy zdanie jest tautologia lub kontrtautologią.
Wyrażenie do sprawdzenia należy wpisać w pole poniżej.
Zmienne zdaniowe należy wpisywać w nawiasach sześciennych (np. "{p}" "{q}"), koniunkcję jako "i", alternatywę jako "lub", negację jako "nie", równoważność jako "<->", implikację jako "=>", zdanie prawdziwe jako "1", a zdanie fałszywe jako "0".
Przykładowe zdanie logiczne w akceptowalnym formacie to ({p} i nie {p}) lub {q} (czyli (p∧¬p)∨q).
Na podstawie wpisanego zdania zostanie przedstawiona tabelka ze wszystkimi możliwymi kombinacjami zmiennych zdaniowych, obliczonymi wartościami logicznymi dla wszystkich kombinacji oraz podsumowaniem czy zdanie jest tautologia lub kontrtautologią.
Skrócona tabelka zero-jedynkowa
| Zmienne zdaniowe | Zdanie logiczne | Wynik |
|---|
Metoda zero-jedynkowa to metoda służąca do sprawdzania czy wyrażenie Klasycznego Rachunku Zdań (KRZ) jest tautologią, czyli prawem tego rachunku. Jest to metoda stosowalna do dowolnej formuły KRZ. Wymaga sprawdzenia wartości końcowej dla każdego wartościowania danej formuły.
Zobacz również
Polecany sprawdzanie zdań logicznych (11)
p ∧ q ⇒ ¬p ∨ q; gdy p = 0, q = 1
p ∧ q ⇒ ¬p ∨ q; gdy p = 0, q = 1
[(p ←→ q) ∨ (q ∧ r)] → [∼ r → (q ←→ r)]
(p =>q) =>[{t lub p) => (t lub q)]
Jutro będzie słoneczny dzień
Jeżeli Kryzsztof zalega z zapłatą podatku, to jeżeli Urząd Skarbowy wszczął egzekucje, to
podatnikowi grozi zajęcie majątku osobistego. Zatem, jeżeli podatnikowi nie grozi zajęcie
majątku osobistego, to nieprawda, że zalega on z zapłatą podatku lub nieprawda, że urząd
wszczał egzekucję.
Jestem bardzo zadowolony z pracy, którą włożyłeś na tej stronie. Jest niezwykle pomocna i chcę Ci podziękować za wszystko, co zrobiłeś na tej stronie. Dzięki Twoim narzędziom, wymiatam nawet swego profesora na studiach. Jestem pełen podziwu dla Ciebie i przyszłości sam coś podobnego dostarczę za darmo do sieci. Dzięki jeszcze raz!
J
((0 || 1) || (NOT 0)) || ((NOT (1 || 1)) || (0 || 0))
nie dziala
gituwa