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

Krystian Karczyński

Założyciel i szef serwisu eTrapez.

Magister matematyki Politechniki Poznańskiej. Korepetytor matematyki z wieloletnim stażem. Twórca pierwszych Kursów eTrapez, które zdobyły ogromną popularność wśród studentów w całej Polsce.

Mieszka w Szczecinie. Lubi spacery po lesie, plażowanie i kajaki.

Related Posts

Kalkulator rozkładu Chi-kwadrat

Posted on 24 kwietnia 2017

Kalkulator do tautologii

Posted on 13 czerwca 2017

Kalkulator do asymptot

Posted on 17 maja 2017