//example 10.5
clc;
clear;
printf('The correct expression is : (count-up clock)''(Qa)(Qb)(Qc)');