Вопрос:

Постройте таблицы истинности для следующих логических выражений: 1) B & (A ∨ B); 2) A & (B ∨ ¬B); 3) ¬A & (A ∨ B ∨ C); 4) ¬A ∨ ¬B ∨ ¬C.

Ответ:

  1. \(B \land (A \lor B)\)

    ABA ∨ BB ∧ (A ∨ B)
    0000
    0111
    1010
    1111
  2. \(A \land (B \lor \neg B)\)

    Так как \(B \lor \neg B = 1\), выражение равносильно \(A\).

    AB¬BB ∨ ¬BA ∧ (B ∨ ¬B)
    00110
    01010
    10111
    11011
  3. \(\neg A \land (A \lor B \lor C)\)

    ABC¬AA ∨ B ∨ C¬A ∧ (A ∨ B ∨ C)
    000100
    001111
    010111
    011111
    100010
    101010
    110010
    111010
  4. \(\neg A \lor \neg B \lor \neg C\)

    Выражение ложно только при \(A=B=C=1\).

    ABC¬A ∨ ¬B ∨ ¬C
    0001
    0011
    0101
    0111
    1001
    1011
    1101
    1110