Download

Risolvi le seguenti espressioni applicando le proprietà:
1.
2.
3.
4.
5.
[A ∩ (A ∩ B )]∪ (A ∩ C )∪ {A ∩ [(A ∪ B ) ∩ B ]}
{[(A ∩ B )∩ C ]∪ [(B ∩ C ) ∩ A]}∪ {A ∪ [(A ∩ B )∩ (B ∩ A )]}
[(A ∪ B )∪ (A − B)]∩ [(A − B )∪ (A ∪ B)]
[A − ( A ∩ B )] ∩ {(A − B )∪ [B ∪ (A − B )]}
{[(A − B )∪ (A ∪ B)]∪ (A ∪ B)}∪ (A − B )
[R : A ∩ (B ∪ C )]
[R : A]
[R : ∅]
[R : A ∩ B ]
[R : A ∪ B ]
Componi le tavole di verità delle seguenti espressioni e poi risolvile applicando le
proprietà:
6)
7)
8)
9)
10)
11)
22)
[(q → p ) ∨ ( p ↔ q )] ∨& [( p ∨ q ) → p] = [ p ∧ q ]
[( p ↔ q ) ∧ (q ∨ p )] ∨& [q → ( p ∧ q )] = [ p ∧ q ]
[( p ∨ q ) → q] ∨& ( p ∧ q ) = [q ∨ p]
[( p → q ) ∧ (r → q )] → (r → p ) = [V]
[( p ∧ q ) ∨& p] → [(q ↔ p ) → q ] = [q ]
[( p ∨ q ) ∧ ( p ∧ q )] ∨& [( p → q ) ↔ ( p ∧ q )] = [F]
[( p → q ) ∨ ( p → p )]∧ {[( p → q ) → q] ∨ p} = [F]