Составьте таблицу истинности для логической функцииX = (А → B) /\ (C ↔ ¬(B \/ A))в которой столбец значений аргумента А представляет собой двоичную запись числа 226, столбец значений аргумента В – числа 154, столбец значений ар...

1. Упростим исходную логическую функцию [latex]y=(A \to B) \land(C \equiv \lnot(B \lor A))[/latex] Для удобства записи будем использовать общепринятые сокращения. Операцию логического сложения (дизъюнкцию) "∨" будем обозначать знаком "+". Логическое умножение (конъюнкцию) "∧" будем обозначать знаком умножения (точкой) или опускать, как принято в алгебре. Вместо знака логического отрицания будем использовать надчеркивание. [latex]y=(A \to B)(C \equiv \overline{B+A}); \\ y=(\bar A+B)(C \equiv \overline{B+A})=(\bar A+B)(\bar C(B+A)+C \overline{B+A})= \\ (\bar A+B)(\bar CB+\bar CA+C\bar B \bar A})=\bar AB\bar C+\bar AAC+\bar A\bar BC+B\bar C+AB\bar C+ \\ \bar AB\bar BC=\bar AB\bar C+0+\bar A\bar BC+B\bar C+AB\bar C+0= \\ \bar AB\bar C+\bar A\bar BC+B\bar C+AB\bar C=B\bar C(\bar A+1+A)+\bar A\bar BC=\bar A\bar BC+B\bar C[/latex] 2. Переведем в двоичную систему счисления заданные значения A, B, C: [latex]\begin {array} {rcl} A =226_{10} &=& 11100010_2; \\ B=154_{10} &=& 10011010_2; \\ C=075_{10} &=& 01001011_2 \end {array}[/latex] 3. Построим таблицу истинности для функции у [latex]\begin {array}{ccccccccc} A&B&C&\bar A&\bar B&\bar A\bar BC&\bar C&B\bar C&Y=\bar A\bar BC+B\bar C \\ 1&1&0&0&0&0&1&1&1 \\ 1&0&1&0&1&0&0&0&0 \\ 1&0&0&0&1&0&1&0&0 \\ 0&1&0&1&0&0&1&1&1 \\ 0&1&1&1&0&0&0&0&0 \\ 0&0&0&1&1&0&1&0&0 \\ 1&1&1&0&0&0&0&0&0 \\ 0&0&1&1&1&1&0&0&1 \end {array}[/latex] 4. Переведем результат в десятичную систему счисления [latex]10010001_2=145_{10}[/latex]