# How is this boolean notation called on english?

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
Staff Emeritus
Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).

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

Last edited:
D H
Staff Emeritus
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))$

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
Staff Emeritus