Новые обозначения операций символьной логики

Предлагаются новые наглядные обозначения операций символьной логики. Эти новые символы основаны на кругах Эйлера. Символы устроены таким образом, что после некоторого упрощения они становятся практически идентичными современной научной нотации. Обозначения предназначены для начального курса логики в школе.