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ą.


Skrócona tabelka zero-jedynkowa
Zmienne zdanioweZdanie logiczneWynik
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 (7)

      2 + 1 = ?    
Jutro będzie słoneczny dzień
DODAŁ: Ewelina a DNIA 2023-05-14 09:22:55
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ę.
DODAŁ: nand DNIA 2023-02-03 14:24:50
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!
DODAŁ: Denis DNIA 2022-12-02 12:36:12
J
DODAŁ: Ewa DNIA 2022-11-30 02:03:13
((0 || 1) || (NOT 0)) || ((NOT (1 || 1)) || (0 || 0))
DODAŁ: Michał DNIA 2022-11-15 14:15:59
nie dziala
DODAŁ: XD DNIA 2022-10-20 18:42:04
gituwa
DODAŁ: memur DNIA 2022-09-22 19:44:56

Ze względu na ograniczoną dokładność reprezentacji liczb oraz możliwe błędy w wykorzystywanych bibliotekach wyniki obliczeń mogą być niepoprawne.
Dane zamieszczone są bez jakiejkolwiek gwarancji co do ich dokładności, poprawności, aktualności, zupełności czy też przydatności w jakimkolwiek celu.

Ta witryna wykorzystuje dane z serwisu Wikipedia na podstawie licencji CC BY-SA 3.0 Unported License.