Есть ли простой способ выучить таблицы истинности?

Question

Я слежу за онлайн-учебником по Ruby и нахожусь в точке, где говорится о таблицах истинности и о том, как мне нужно изучить их, прежде чем продолжить.

Есть ли простой способ изучить их?Мне просто нужно узнать, что такое истина и ложь?

Answer 1

Не запоминать таблицы истинности

Важно понимать функции, которые используются для вычисления таблиц правды.Когда вы поймете функции, таблицы истинности станут очевидными.

A OR  B: Either A or B    # cream OR sugar, T if either (or both), F if neither
A AND B: Both A and B     # cream AND sugar, T only when the coffee has both
A XOR B: One but not both # T only if sugar but no cream or if cream but no sugar
NOT   A: Kind of obvious  # NOT sugar, true if the tea has no sugar

A NAND B: NOT (A AND B)   # T unless both cream and sugar are in the tea
A NOR  B: NOT (A OR B)    # T only if there is no sugar and also no cream

Answer 2

Вам не нужны таблицы правды, чтобы выучить Ruby, хотя они не такие сложные, они выглядят страшнее, чем они.

Чтобы узнать, что этот учебник пытается научить вас, перейдите в командную строку и введите irb, который откроет для вас интерактивный Ruby, называемый REPL . Вы можете поиграть с логическими выражениями, которые просто означают код, который имеет дело с истиной и ложью:

1.9.3-p0 :001 > true || false
 => true 
1.9.3-p0 :002 > (true || false) && false
 => false 
1.9.3-p0 :003 > false && true
 => false 
1.9.3-p0 :004 > false ^ true
 => true 
1.9.3-p0 :005 > !true
 => false 
1.9.3-p0 :006 > !!true
 => true
1.9.3-p0 :007 > exit

Чему бы они ни пытались научить вас с помощью таблиц правды, вы можете лучше учиться, немного поэкспериментировав в интерактивной среде.

Answer 3

Вам действительно нужно запомнить ваши основные три, OR, AND и NOT, а остальное можно вычислить оттуда:

         (and)    (OR)  (not)
P    Q    P&Q     P|Q     ~P
T    T    T        T      F
T    F    F        T      T
F    T    F        T
F    F    F        F

XOR это просто (P&Q)|(~(P|Q))

NAND это просто ~(P&Q).

Как только вы поймете основные три, все остальное будет легко.

Answer 4

Это может помочь, если вы замените эти абстрактные true и false значения очевидными истинами и ложными утверждениями. Это утверждение верно?

Sugar is sweet AND grass is blue.

Нет, это явно неверно. (T & F = F)

Sugar is sweet OR grass is blue.

Да, это правда. (T | F = T)

Sugar is sweet OR 1+1=2

Стоит изучать только компьютер, компьютеры думают, что это правда. (Т | Т = Т)