【问题标题】:Is there an easy way to learn truth tables?有没有简单的方法来学习真值表?
【发布时间】:2012-01-08 21:15:09
【问题描述】:

我正在关注 Ruby 的在线教程,其中提到了真值表以及在继续之前我需要如何学习它们。

有没有简单的方法来学习它们?我只需要了解什么是真假吗?

【问题讨论】:

  • 尝试在 maths.stackexchange.com 上提问 - 你可能会得到更好的答案
  • @Jake223:我怀疑在 math.SE 上会欢迎基本的布尔代数问题

标签: logic truthtable


【解决方案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

【讨论】:

  • 是的,学习基础知识,其余的就到位了。哦,很多年前,我通过汇编语言学习了它们,但这是一种很好的学习方式,因为我们掌握了二进制值。
【解决方案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

无论他们试图用真值表教你什么,你都可以通过在交互式环境中进行一些实验来更好地学习。

【讨论】:

    【解决方案3】:

    你真的只需要记住你的基本三个,ORANDNOT,其余的可以从那里计算出来:

             (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)

    一旦你了解了基本的三个,其他任何事情都很容易。

    【讨论】:

      【解决方案4】:

      如果您将那些抽象的 truefalse 值替换为明显的真假陈述,这可能会有所帮助。 这个说法是真的吗?

      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
      

      是唯一值得学习的,计算机认为这是真的。 (T|T = T)

      【讨论】:

        猜你喜欢
        • 1970-01-01
        • 2021-12-04
        • 2014-01-23
        • 1970-01-01
        • 1970-01-01
        • 2011-10-26
        • 2010-10-14
        • 1970-01-01
        • 1970-01-01
        相关资源
        最近更新 更多