How is this boolean notation called on english?

  • Thread starter njama
  • Start date
  • #1
216
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?
 

Answers and Replies

  • #2
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
685
Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).
 
  • #3
216
1
Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).
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:
  • #4
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
685
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]
 
  • #5
216
1
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)
 
  • #6
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
685
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.
 

Related Threads on How is this boolean notation called on english?

Replies
1
Views
1K
Replies
9
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
2
Views
2K
Replies
12
Views
6K
  • Last Post
Replies
2
Views
1K
Replies
27
Views
3K
Replies
3
Views
1K
Top