Kalkulator do tablic logicznych

Instrukcja wpisywania formuł logicznych

• Zmienne logiczne wpisujemy jako:  .
• Negację wpisujemy jako ~
• Alternatywywpisujemy jako || , albo: … OR … (czyli: ZMIENNA_SPACJA_OR_SPACJA_ZMIENNA)
• Koniunkcjęwpisujemy jako &&, albo: … AND … (czyli: ZMIENNA_SPACJA_AND_SPACJA_ZMIENNA)
• Implikację wpisujemy jako => (czyli znak ‘=’ i ‘>’ koło siebie)
• Równoważnośćwpisujemy jako <=> (czyli znak ‘<‘ + ‘=’ + ‘>’)
• Trzeba pamiętać o właściwym ułożeniu nawiasów!

Interpretacja wyników

Kalkulator pokazuje końcowe wartości formuły dla każdej możliwej kombinacji wartości PRAWDA/FAŁSZ każdej ze zmiennych. Nie pokazuje wartości “pośrednich”, jakie tworzy się na ogół budując tabelkę na zajęciach na studiach.

Kalkulator oblicza więc tylko jak gdyby ostatnią kolumnę znanej wszystkim studentom tabelki.

‘T’ oznacza PRAWDA (czyli 1), ‘F’ oznacza FAŁSZ (czyli 0).

Przykład 1

Wyznacz wartości logiczne formuły  dla wszystkich możliwych wartości logicznych  i .

Wpisujemy w kalkulator ‘p=>(q=>(q=>p))’:

Mamy odpowiedź. Formuła przyjmuje zawsze wartość PRAWDA, dla wszystkich kombinacji zmiennych (jest więc tautologią).