Постройте в тетради таблицы истинности для логических выражений: 1. F = ¬(A V B) Λ (A Λ ¬B) 2. F = A V (¬B → A) V ¬A 3. F = A Λ (B V ¬A) Определите, какое логическое выражение является тавтологией. 1 2 3

Заменим символы операций на более привычные (логическое сложение на сложение, логическое умножение - на умножение), но будем помнить, что все же это не арифметика, хотя и тут умножение "старше" сложения и выполняется первым.
x=19+17*13+22*14
1) 17₁₀*13₁₀
17₁₀ = 10001₂; 13₁₀=01101₂
Правила умножения поразрядно: 1*1=1, иначе 0
 10001
*01101

 00001 = 1₂
2) 19₁₀+1₂
19₁₀=10011₂
Правила сложения поразрядно: 0+0=0, иначе 1
  10011
+00001

  10011
3) 22₁₀*14₁₀
22₁₀=10110₂; 14₁₀=01110₂
 10110
*01110

 00110
4) 10011₂+00110₂
  10011
+00110

  10111₂ = 23₁₀

Заменим символы операций на более привычные (логическое сложение на сложение, логическое умножение - на умножение), но будем помнить, что все же это не арифметика, хотя и тут умножение "старше" сложения и выполняется первым.
x=19+17*13+22*14
1) 17₁₀*13₁₀
17₁₀ = 10001₂; 13₁₀=01101₂
Правила умножения поразрядно: 1*1=1, иначе 0
 10001
*01101

 00001 = 1₂
2) 19₁₀+1₂
19₁₀=10011₂
Правила сложения поразрядно: 0+0=0, иначе 1
  10011
+00001

  10011
3) 22₁₀*14₁₀
22₁₀=10110₂; 14₁₀=01110₂
 10110
*01110

 00110
4) 10011₂+00110₂
  10011
+00110

  10111₂ = 23₁₀