MatLogika1

pΛq $$\Longleftrightarrow$$ qΛp

$$p\vee\left(pΛq\right)$$ $$\Longleftrightarrow$$ p

ако $$p=\perp\ ,\ q=\perp$$ тогаш p⟹q е

ако $$p=\perp\ ,\ q=\perp$$ тогаш $$p\vee q$$

ако $$p=T\ ,\ q=\perp$$ тогаш $$p\vee q$$

ако $$p=\perp\ ,\ q=T$$ тогаш $$p\vee q$$

ако $$p=\perp\ ,\ q=\perp$$ тогаш $$p\Longleftrightarrow q$$

ако $$p=T\ ,\ q=\perp$$ тогаш $$p\Longleftrightarrow q$$

ако $$p=\perp\ ,\ q=T$$ тогаш $$p\Longleftrightarrow q$$

ако $$p=\perp\ ,\ q=\perp$$ тогаш $$p\wedge q$$