: SYSTÈMES LOGIQUES
TRAVAUX DIRIGÉS N2
CORRECTION
AU 2021-2022 Semestre 1
Ph.D Ramzi ZOUAOUI
Faculté des Sciences de Tunis
EXERCICE 1 :
SOIENT LES FONCTIONS LOGIQUES SUIVANTE
FONCTION OU EXCLUSIF
FONCTION IDENTITE
0 0 0 1 0
0 1 1 0 1
1 0 1 0 1
1 1 0 1 0
EXERCICE 1 :
2- Vérifier que
et de même que
EXERCICE 1 :
3- Démontrez que
= = *
= (+) * ( + y)
= puisque = = 0
= =
EXERCICE 2 :
TROUVEZ LE COMPLÉMENT DES QUANTITÉS SUIVANTES :
𝑺𝟏= ( 𝒂 𝒃 𝒄+ 𝒅+ 𝒃 ∗ ( 𝒂 𝒅 +𝒄 ) ) ∗(𝒃 𝒄 𝒅+ 𝒂)
𝑺𝟏= ( 𝒂 𝒃𝒄+𝒅+𝒃 ( 𝒂 𝒅+𝒄 ) ) +(𝒃𝒄 𝒅+𝒂)
¿ ( 𝒂+𝒃+𝒄 ) ∗ 𝒅 ∗ ( 𝒃+ ( 𝒂𝒅 +𝒄 ) ) +( ( 𝒃+𝒄+𝒅 ) ∗ 𝒂)
¿ ( 𝒂 +𝒃+𝒄 ) ∗ 𝒅 ∗ ¿
¿ ( 𝒂 𝒅 +𝒃𝒅 +𝒄 𝒅 ) ∗ ( 𝒃+ 𝒂𝒄+ 𝒅 𝒄 ) + 𝒂 𝒃+ 𝒂𝒄+ 𝒂 𝒅
¿𝒂 𝒃𝒅+𝒂𝒂𝒄𝒅 +𝒂 𝒄𝒅 𝒅+𝒃 𝒃𝒅+𝒂𝒃𝒄𝒅+𝒃𝒄𝒅 𝒅+𝒃𝒄 𝒅+𝒂𝒄 𝒄 𝒅+𝒄 𝒄 𝒅 𝒅+𝒂 𝒃+𝒂𝒄 +𝒂𝒅
¿ 𝒃 ( 𝒂+ 𝒂 𝒅 ) +𝒃 𝒄 𝒅 +𝒂𝒄 + 𝒂 𝒅 𝒆𝒕 𝒑𝒖𝒊𝒔𝒒𝒖𝒆 𝒂+ 𝒂 𝒅
¿ 𝒂 𝒃+𝒃 𝒅+𝒃 𝒄 𝒅+𝒂𝒄 +𝒂 𝒅 ¿ 𝒂 𝒃+𝒃 𝒅+𝒂𝒄 +𝒂 𝒅
EXERCICE 2 :
TROUVEZ LE COMPLÉMENT DES QUANTITÉS SUIVANTES :
𝑺 𝟐= 𝒂 ( 𝒃+𝒄+ 𝒅 )+ ( 𝒂+ 𝒃+𝒄 ) ∗( 𝒃+ ( 𝒂 +𝒅 ) ∗𝒄 )
𝑺𝟐= ( 𝒂 + ( 𝒃 𝒄 𝒅 ) ) ∗ ¿
¿
¿𝒂 𝒂 𝒃𝒄+𝒂𝒂 𝒃𝒅+𝒂 𝒃𝒄+𝒃 𝒄 𝒅 𝒂 𝒃𝒄+𝒃𝒄 𝒅 𝒂 𝒃𝒅+𝒃𝒄 𝒅 𝒃𝒄
¿𝒂 𝒃𝒅+𝒂 𝒃𝒄+𝒃𝒄 𝒅
EXERCICE 3 :
TROUVEZ LE COMPLÉMENT DES QUANTITÉS SUIVANTES :
𝑺 𝟏= ( 𝒂+ 𝒃+ 𝒅 ) ∗( 𝒂𝒃 𝒅 +𝒄)
𝑺 𝟏= ( 𝒂+ 𝒃+ 𝒅 ) + ( 𝒂𝒃 𝒅+ 𝒄 )
¿
¿ 𝒂 𝒃 𝒅 +𝒂𝒄+𝒃 𝒄+𝒄𝒅
EXERCICE 3 :
TROUVEZ LE COMPLÉMENT DES QUANTITÉS SUIVANTES :
¿ 𝒂 𝒃 𝒅 + 𝒂𝒃+ 𝒂 𝒄+ 𝒃 𝒄 𝒅
EXERCICE 3 :
TROUVEZ LE COMPLÉMENT DES QUANTITÉS SUIVANTES :
¿
¿ 𝒂 𝒄 𝒃 𝒅+𝒂𝒄+𝒃 𝒄+𝒅𝒄
EXERCICE 4 :
SIMPLIFIEZ LES EXPRESSIONS SUIVANTES :
𝑺 𝟏= ( 𝒙+ 𝒚 𝒛 ) +( 𝒙+ 𝒚 𝒛 )( 𝒙𝒕+ 𝒛 )
𝑺 𝟏= ( 𝒙+ 𝒚 𝒛 ) +( 𝒙+ 𝒚 𝒛 )( 𝒙𝒕+ 𝒛 )
𝑨+ 𝑨 𝑩= 𝑨+ 𝑩
𝒅𝒐𝒏𝒄 𝑺 𝟏 = 𝒙 + 𝒚 𝒛 + 𝒙𝒕 + 𝒛
¿ 𝒙 + 𝒙𝒕 + 𝒛 + 𝒚 𝒛A+AB =A
¿ 𝒙+𝒛
EXERCICE 4 :
SIMPLIFIEZ LES EXPRESSIONS SUIVANTES :
𝑺 𝟐= 𝒙𝒚 + 𝒙 𝒚𝒛 + 𝒚𝒛
𝑺 𝟐 = 𝒙𝒚 + 𝒙 𝒚𝒛 + 𝒚𝒛 A+AB =A
𝒅𝒐𝒏𝒄 𝑺 𝟐 = 𝒙𝒚 + 𝒚 𝒛
¿ 𝒚 ( 𝒙 + 𝒛)
EXERCICE 4 :
SIMPLIFIEZ LES EXPRESSIONS SUIVANTES :
𝑺𝟑= ( 𝒙 𝒚 + 𝒛 ) ( 𝒙 + 𝒚 ) 𝒛
𝑺𝟑= 𝒙 𝒚 𝒙𝒛+ 𝒙 𝒚 𝒚 𝒛 + 𝒛𝒙𝒛+ 𝒛 𝒚 𝒛
¿ 𝒙 𝒚 𝒛+𝒙 𝒚 𝒛+𝒙𝒛 +𝒚 𝒛
¿ 𝒙 𝒚 𝒛+𝒚 𝒛+𝒙𝒛 +𝒙𝒛 𝒚 A+AB =A
¿ 𝒚 𝒛 +𝒙𝒛
¿ 𝒛 (𝒚 +𝒙)