“…Следует отметить, что рассматриваются именно пропозициональные формулы, а не их истинностные значения. Более того, в дальнейших выкладках рассматриваются классы эквивалент-ности пропозициональных формул; в частности, конъюнкции над одними и теми же формулами, но с разным порядком следования последних, не различаются [2,3,8,12]. , 22].…”