Условно-бесплатные - это означает, что они бесплатны ПРИ НЕКОТОРЫХ УСЛОВИЯХ. Например, что бесплатно ими можно пользоваться только некоторое время (чтоб понять, что это запрограмма и подходит ли она конкретно вам), а сверх того - уже за плату. Или можно пользоваться только некоторыми базовыми функциями программы, а расширенными - уже за плату. Или её функционал ограничен размерами обрабатываемой информации - скажем, схему на 64 узла я ещё могу смоделировать, а вот более сложную - только заплатив.
Ну то есть примерно понятно: что-то можно, но не всё и/или не вечно.
Лицензионные программы свободны от этих ограничивающих условий: можно всё и почти вечно (некоторые программы, даже платные, всё равно устанавливают предел срокам своей работы - это особенно часто встречается в антивирусах).
беспалтные программы тоже свободны от таких ограничений, но очень часто их функционал недостаточен, и ещё чаще бесплатных программ, которые делают "вот конкретно это", просто нет. Скажем, нет бесплатных программ компьютерного проектирования топологии (те, что есть, на самом деле просто взломаны. а для топологии ИС нет вооще ничего). Нет бесплатных программ моделирования полупроводниковых приборов, типа SUPREM IV, - вообще нет. Нет хороших бесплатных программ вёрстки текстов. Даже шрифтов некоторых бесплатно не нарыть. Ну и так далее. То есть как только попадается СЛОЖНАЯ и не сильно распространённая задача, не для домохозяек, - так кранты, и приходится приобретать лицензию...