Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

How is this boolean notation called on english?

  1. Sep 19, 2009 #1
    Its about boolean algebra:

    for example. Instead of writing p => q we write =>pq or p v q we write vpq etc...

    What is this notation called on english language?
     
  2. jcsd
  3. Sep 19, 2009 #2

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).
     
  4. Sep 19, 2009 #3
    Thank you for the information. And did I write these formulas correctly in Polish notation?

    1)
    ((¬p)=>(q v (¬s))) (Standard notation)
    (¬p)=>(q v (¬s))
    =>(¬p)(q v ¬s)
    =>¬pvq¬s (Polish notation)

    ?

    2)
    p v ((q [itex]\land[/itex] (¬s)) => p)) (Standard notation)
    v p(q [itex]\land[/itex] (¬s)) => p)
    v p => (q [itex]\land[/itex] (¬s))
    v p => [itex]\land[/itex] q ¬s (Polish notation)

    Also did I write these one correctly: (From Polish to Standard notation)

    1)
    v¬[itex]\land[/itex]vpqrs
    v¬[itex]\land[/itex]p v qrs
    v¬((p v q) [itex]\land[/itex] r)s
    ¬((p v q) [itex]\land[/itex] r) v s

    2)
    [itex]\land[/itex]p¬=>¬qvrs
    [itex]\land[/itex]p¬=>¬q(r v s)
    [itex]\land[/itex]p¬((¬q) => (r v s))
    (p [itex]\land[/itex] (¬((¬q) => (r v s))))
     
    Last edited: Sep 19, 2009
  5. Sep 19, 2009 #4

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    The first one is correct. The rest are completely garbled. Here's a proper rendition of the first garbled expression in latex:

    p \lor ((q \land (\neg s)) \Rightarrow p))
    [itex]p \lor ((q \land (\neg s)) \Rightarrow p))[/itex]
     
  6. Sep 19, 2009 #5
    Thanks for the LaTeX info, but it will take me 100 years to write these equations :smile:

    Let me do it again (with Unicode characters):

    p ⋁ ( (q ⋀ (¬s)) => p)

    p ⋁ ( => (q ⋀ (¬s))p)

    p ⋁ ( =>⋀q(¬s)p)

    ⋁ p =>⋀q¬sp

    I come back for the same result.

    "v" in the post means ⋁ (or)

    Are those correct, now? (I fixed the LaTeX)
     
  7. Sep 19, 2009 #6

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Your version of the second infix expression converted to prefix is correct in post #5 (in post #2 you have v p => q ¬s ; #5 adds a 'p' to the end of this).

    Both of you prefix expressions converted to infix look fine.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook