OPIS.
Kalkulator składa się z dwóch rozwijanych list określających pierwsze i drugie zdanie logiczne, w których użytkownik wybiera jedną z opcji: Prawda, fałsz, 0, 1. Oraz rozwijanej listy na której wybiera się działanie: alternatywa, koniunkcja, binegacja, dysjunkcja. Po kliknięciu "oblicz" na ekranie pojawia się wynik.
Kalkulator wyrażeń logicznych
Zobacz również
- Kalkulator błędów
- Kalkulator średniej
- Test A / B
- Kalkulator układu równań
- Kalkulator obliczania procentów
- Działania na zbiorach - kalkulator
- Kalkulator potęg i pierwiastków
- Generator liczb losowych
- Przelicznik jednostek
- Kalkulator trójkątów Pitagorejskich
- Generator wykresów
- Kalkulator logarytmów
- Kalkulator funkcji trygonometrycznych
- Kalkulator ciągu Fibonacciego
- Kalkulator prawdopodobieństw
Kalkulator wyrażeń logicznych Wasze wyniki
[~(p=>q)]<=>(p∧~q)
[~(p=>q)]<=>(p∧~q)
[(pvq)=>q]=>(~pvq)
( {p} lub {q} ) i {q} i( {p} =>( {q} i {r} ) )
Wyprowadź dowolną metodą (wprost albo nie wprost) wniosek z tych przesłanek. UWAGA: opisuj każdy krok dowodu (skąd on się wziął na numerowanej liście): Cel: β 1. α∨β 2. ¬α (przesłanka)
Logika jest fajna, o ile nie jest trudna
{(p>q)^~[(pvr)>q]}^(q>r)
[(p^q)^r]=i>[(q=i>~r)+(p^~r)
p → (~q v p)
(p->~ (q/r)) -> (~(~pVg)^(p->r))
p → (q → p ∧ q)
(p⇒ (q⇒r))⇒((pɅq) ⇒r)
{[(𝛼 ∧ 𝛽) ⇒ 𝛾] ∧ [(𝛼 ∧ 𝛽) ⇒ ~𝛾]} ⇒ (~𝛼 ∧ ~𝛽 ∧ ~𝛾)
(x<4) or (x>10)
Y=(sigma)_4(0,2,5,7,8,10,13,15)
nie ({x} lub {y} lub {z} lub ({a} i {b}) lub {c})
p → (q v ~q)
(p || q || r) => ((~p) => ((q || r) && (~p)))
(p=>~q)<=>~(p∧q)
((~p&&q)&&(p||~q))=>((p=>(q||r))=>(p=>r))
[~(p=>q)]<=>(p∧~q)
[~(p=>q)]<=>(p∧~q)
[(¬𝑟∨𝑞)∨¬(𝑞∧𝑟)]→[¬(𝑞→𝑝)]
p → (q v ~q)
[(~pv~q)^r]v[(p=>r)=>(~qv~r)]
[~(p=>q)]<=>(p∧~q)
( {p} <-> {q} i {q} <-> {r} ) =>( {p} <-> {r} )