Factorisation d'expression logique
Répondre à la discussion
Affichage des résultats 1 à 3 sur 3

Factorisation d'expression logique



  1. #1
    invite9a2a0be4

    Factorisation d'expression logique


    ------

    Bonjour à tous,

    Ca fait bien longtemps que mes cours de logique sont derière moi, et je me permets de m'adresser à vous pour me donner un coup de main. En fait, dans le cadre d'un programme, j'ai besoin de factoriser une expression logique. Je vais la décomposer en 2, ce sera, je pense, plus simple à résoudre.

    Pour commencer, est ce que cette expression :
    Code:
    [A et (C ou D)] ou [B et (C ou D)]
    est équivalente à celle ci ?
    Code:
    [(A ou B) et (C ou D)]
    Si c'est le cas, on peut en déduire que :
    Code:
    [C et (A ou B)] ou [D et (A ou B)]
    est équivalent à :
    Code:
    [(C ou D) et (A ou B)]
    Au final, l'expression complète que je souhaite factoriser est celle ci :
    Code:
    [A et (C ou D)] ou [B et (C ou D)] ou [C et (A ou B)] ou [D et (A ou B)]
    Pouvez vous me donner des pistes ?

    D'avance merci

    -----

  2. #2
    Jeanpaul

    Re : Factorisation d'expression logique

    La première affirmation est juste, la seconde s'en déduit en changeant le nom des variables.
    Alors ton affirmation finale fait doublon (tu écris tout 2 fois, non ?) :
    [(A ou B) et (C ou D)]

  3. #3
    invite9a2a0be4

    Re : Factorisation d'expression logique

    Ah oui, tu as raison, c'est vrai que le "et" est commutatif ...

    Merci

Discussions similaires

  1. Logique Système - Logique Causale - Implications Cosmologiques
    Par invite1ab59cc3 dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 11h57
  2. pb d'expression d'(Un)...
    Par invitee3354b08 dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 25/11/2005, 12h29
  3. constructeur d'expression
    Par invite82166899 dans le forum Logiciel - Software - Open Source
    Réponses: 0
    Dernier message: 03/08/2005, 09h19