Формула закона исключенного третьего в логике