How is this boolean notation called on english?

[njama]

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?

 

[D H]

Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).

 

[njama]

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 \land (¬s)) => p)) (Standard notation)
v p(q \land (¬s)) => p)
v p => (q \land (¬s))
v p => \land q ¬s (Polish notation)

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

1)
v¬\landvpqrs
v¬\landp v qrs
v¬((p v q) \land r)s
¬((p v q) \land r) v s

2)
\landp¬=>¬qvrs
\landp¬=>¬q(r v s)
\landp¬((¬q) => (r v s))
(p \land (¬((¬q) => (r v s))))

 

[D H]

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))
p \lor ((q \land (\neg s)) \Rightarrow p))

 

[njama]

Thanks for the LaTeX info, but it will take me 100 years to write these equations

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)

 

[D H]

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.