Matemática | Tecnologias da Informação 2022/2023

FORMULÁRIO 1

1. Lógica proposicional

1 p  p  F p  p  V Princípio da não contradição / Princípio do terceiro excluído

2 (p  q)  (p)  (q) (p  q)  (p)  (q) Primeiras leis de De Morgan
3 (p)  p Dupla negação

conjunção disjunção Propriedades

1 pqqp pqqp Comutativa
2 (p  q)  r  p  (q  r) (p  q)  r  p  (q  r) Associativa
3 p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r) Distributiva
4 Vpp Fpp Elemento neutro
5 FpF VpV Elemento absorvente
6 ppp ppp Idempotência

Algumas tautologias
1 p ∨̇ q  ((p  q)  (p  q)) alternativa para programar ∨̇
2 (p  q)  (p  q) alternativa para programar 
3 (p  q)  ((p  q)  (p  q)) alternativa para programar 

2. Álgebra de Boole – Propriedades

Sejam A, B, C elementos de uma álgebra booleana.

1 A+B=B+A AB=BA Comutativa
2 (A + B) + C = A + (B + C) (A  B)  C = A  (B  C) Associativa
3 A + (B  C) = (A + B)(A + C) A  (B + C) = (A  B) + (A  C) Distributiva
4 0+A=A 1A=A Elemento neutro
5 A+𝐴=1 A  𝐴 =0 Lei dos complementares
6 1+A=1 0A=0 Elemento absorvente
7 A+A=A AA=A Idempotência
8 A+B=𝐴𝐵 A⋅B=𝐴+𝐵 Leis de De Morgan
9 A=A Lei da involução
10 A+AB=A A  (A + B) = A Lei da absorção
11 AB+AB=A (A + B)  (A + B) = A Lei da adjacência
12 A+ 𝐴B=A+B A  ( 𝐴 + B) = A  B Lei do termo menor

3. Portas lógicas

A A
B A.B A+B A 𝐴
B

4. Sucessões e Progressões

𝑢1 + 𝑢𝑛
Progressão aritmética 𝑢𝑛 = 𝑢1 + (𝑛 − 1) 𝑟 𝑆𝑛 = 𝑛
2
𝑛
1−𝑟
Progressão geométrica 𝑢𝑛 = 𝑢1 × 𝑟 𝑛−1 𝑆𝑛 = 𝑢1 , 𝑟≠1
1−𝑟