As the ab functions of atomic propositions are bi-polar propositions again we can perform ab operations on them. We shall, by doing so, correlate two new outside poles via the old outside poles to the poles of the atomic propositions.
⌊⌊ˇ* W-F = Wahr-Falsch.⌋⌋
4