1.1.2. Логички операции (негација, конјункција, дисјункција, импликација еквиваленција, исклучителна дисјункција)

   Негација:

Негацијата е операција над една логичка вредност, обично вредност на исказ, кој има вредност точно, ако е невистинит и неточно, ако е вистинит. Таблицата на вистинитост за p (⅂ ) е следнава:

негација                             

p	⅂p
Т	⊥
⊥	Т

   Конјункција:

Логичката конјункција е операција над една логичка вредност, обично вредност на исказ, кој има вредност точно само ако и двата искази се вистинити. Таблицата на вистинитост за p∧q   (p и q или p ^. {\displaystyle \cdot }q) е следнава:

Логичка конјункција

p	q	p ∧ q
Т	Т	Т
Т	⊥	⊥
⊥	Т	⊥
⊥	⊥	⊥

Кога и двата искази, p и q се вистинити, тогаш конјункцијата p ∧ q е точна. Во сите други случаи логичката вредност за исказите p и q, конјункцијата p ∧ q е неточна. Може да се рече, ако p, тогаш p ∧ q е q или обратно, p ∧ q е p

  Дисјункција

Логичката дисјункција е операција над една логичка вредност, обично вредност на исказ, кој има вредност неочно ако и само ако и двата искази се невистинити. Таблицата на вистинитост за p или q ( p ∨ q, p || q или p + q) е следнава:

Логичка дисјункција

p	q	p ∨ q
Т	Т	Т
Т	⊥	Т
⊥	Т	Т
⊥	⊥	⊥

Ако p, тогаш p ∨ q е p и обратно, p ∨ q е q.

   Импликација

Логичката импликација е операција над една логичка вредност, обично вредност на исказ, кој има вредност неочно само во случај кога првиот исказ е вистинит, а вториот невистинит. Таблицата на вистинитост за материјалниот услов не само p туку и q (со симболи p → q) и логичката импликација p имплицира q (со симболи p ⇒ q) е следнава:

Логичка импликација

p	q	p ⇒ q
Т	Т	Т
Т	⊥	⊥
⊥	Т	Т
⊥	⊥	Т

   Еквиваленција

Логичката еквиваленција е операција над една логичка вредност, обично вредност на исказ, кој има вредност очно само во случај кога и двата искази се вистинити или невистинити. Таблицата на вистинитост за p ↔ q ( p = q или p ≡ q) е следнава:

Логичка еквиваленција

p	q	p ↔ q
Т	Т	Т
Т	⊥	⊥
⊥	Т	⊥
⊥	⊥	Т

  Исклучителна дисјункција

Исклучителната дисјункција е операција над една логичка вредност, обично вредност на исказ, кој има вредност очно само ако еден, но не и двата искази е вистинит. Таблицата на вистинитост за p ЕКСИЛИ q ( p + q, p ⊕ q или p ≠ q) е следнава:

Логичка исклучителна дисјункција

p	q	p ⊕ q
Т	Т	⊥
Т	⊥	Т
⊥	Т	Т
⊥	⊥	⊥

За два искази, ЕКСИЛИ може да се запише како (p = 1 ∧ q = 0) ∨ (p = 0 ∧ q = 1).