Вітюк, О. В., Коломійцев, О. П. (1998) Дослідження логічних виразів на істинність. ВІСНИК Житомирського державного університету імені Івана Франка (2). с. 130-132.