Какие есть аналоги Logic Friday, поддерживаемые на Mac OS?
Всем привет! Подскажите, пожалуйста, какие существуют аналоги Logic Friday, поддерживаемые на Mac OS? Важно чтобы можно было вручную ввести свою таблицу истинности и получить из нее упрощенную карту Карно. Заранее спасибо.