What is prefix notation for boolean operators called?

[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¬$\land$vpqrs
v¬$\land$p v qrs
v¬((p v q) $\land$ r)s
¬((p v q) $\land$ r) v s

2)
$\land$p¬=>¬qvrs
$\land$p¬=>¬q(r v s)
$\land$p¬((¬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.