Для построения таблицы истинности для логического выражения $$(A \land B \lor C) \land (B\rightarrow A \land C)$$, нам нужно рассмотреть все возможные комбинации значений истинности для переменных A, B и C.
| A | B | C | $$A \land B$$ | $$A \land B \lor C$$ | $$A \land C$$ | $$B \rightarrow A \land C$$ | $$(A \land B \lor C) \land (B\rightarrow A \land C)$$ |
|---|---|---|-----------------|-----------------------|-----------------|--------------------------|-----------------------------------------------------|
| И | И | И | И | И | И | И | И |
| И | И | Л | И | И | Л | Л | Л |
| И | Л | И | Л | И | И | И | И |
| И | Л | Л | Л | Л | Л | И | Л |
| Л | И | И | Л | И | Л | Л | Л |
| Л | И | Л | Л | Л | Л | Л | Л |
| Л | Л | И | Л | И | Л | И | И |
| Л | Л | Л | Л | Л | Л | И | Л |