# Propositional logic

[EN/CZ]

## Annotation

Operation Notation Sentece representaion
Negation $\neg$A ; A’ not A
Conjuncion A $\land$ B A and B
Disjunction A $\lor$ B A or B
Implication A $\implies$ B Impossible A without B
Equivalence A $\iff$ B If A, then B

## Table of values

A B $\neg$A A $\land$ B A $\lor$ B A $\Rightarrow$ B A $\Leftrightarrow$ B
1 1 0 1 1 1 1
1 0 0 0 1 0 0
0 1 1 0 1 1 0
0 0 1 0 0 1 1

## Negation

Expression Negation of expression
A $\land$ B $\neg$A $\lor$ $\neg$B
A $\lor$ B $\neg$A $\land$ $\neg$B
A $\iff$ B (A $\lor$ B) $\land$ ($\neg$A $\lor$ $\neg$B)
A $\implies$ B A $\land$ $\neg$B