Operatii logice specific propozitiilor compuse

1.Negatia (non p)

P ~p
1 0
0 1

2.Conjunctia (p si q)

Este adevarata cand toate variabilele propozitionale ce o compun sunt adevarate

p q p&q
1 1 1
1 0 0
0 1 0
0 0 0

3.Disjunctia

3.1 Disjunctia inclusiva (p sau q)

Este adevarata atunci cand cel putin 1 dintre variabilele propozitiei ce o compun este adevarata

p q pVq
1 1 1
1 0 1
0 1 1
0 0 0
3.2 Disjunctia exclusive (sau p, sau q)

Este adevarata atunci cand varabilele propozitiei ce o compun au valori logice diferite

p q pWq
1 1 0
1 0 1
0 1 1
0 0 0
4. Implicatia (daca p, atunci a)

Este falsa numai atunci cand antecedentul este adevarat

p q p->q
1 1 1
1 0 0
0 1 1
0 0 1
5.Echivalenta (daca si numai daca p, atunci q, p≡q)

(p≡q) ≡(p->q) & (q->p)

Echivalenta este falsa cand variabilele propozitiei ce o compun au aceiasi valoare logica (fie
ambele adevarate, fie ambele false)

p q p≡q
1 1 1
1 0 0
0 1 0
0 0 1
(p≡q) ≡~(pWq)

[(p->rq)&r] ≡(rpWrq)

p q r ~p ~q ~r p->~r ~p->q&r ~pW~ ≡

r
1 1 1 0 0 0 0 0 0 1
1 1 0 0 0 1 0 0 1 0
1 0 1 0 1 0 1 1 0 0
1 0 0 0 1 1 1 0 1 0
0 1 1 1 0 0 1 1 1 1
0 1 0 1 0 1 1 0 0 1
0 0 1 1 1 0 1 1 1 1
0 0 0 1 1 1 1 0 0 1